Categorical rings subsume ann-categories · wovepaper