2009/05/19 by Nguyễn Tiến Quang, Quang, N. T., Nguyen Thu Thuy +1
Engineering · Mathematics · #16E40 #18D10 #Advanced Theoretical and Applied Studies in Material Sciences and Geometry #Category Theory (math.CT) #Commutative Algebra and Its Applications #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.0905.3074
openalex publication_date 2009/05/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we have studied the axiomatics of \it Ann-categories and \it categorical rings. These are the categories with distributivity constraints whose axiomatics are similar with those of ring structures. The main result we have achieved is proving the independence of the axiomatics of Ann-category definition. And then we have proved that after adding an axiom into the definition of categorical rings, we obtain the new axiomatics which is equivalent to the one of Ann-categories. In [PJ], authors modified the definition of Ann-categories to be the one of \it categorical rings, where the condition Ann-1 is omitted, and the compatibility of the operation \tx with the associativity and commutativity is replaced with the compatibility of the operation \tx with the "associativity - commutativity" constraint. This replacement is to make it more convenient in using Mac Lane cohomology. However, the fact that the definition of categorical rings and Ann-categories are equivalent is still an open question. In [q], authors showed that the set of Ann-categories is a subset of the set of categorical rings. And these sets coincide if and only if the condition (U)is satisfied.