Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn the Axiomatics of Ann-Categories
106
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
Each Ann-category $A$ is equivalent to an Ann-category of the type $(R,M),$ where $M$ is an $R$-bimodule. The family of constraints of $A$ induces a {it structure} on $(R,M).$ The main result of the paper is: 1. {it There exists a bijection between the set of structures on $(R,M)$ and the group of Mac Lane 3-cocycles $Z^{3}_{MaL}(R, M).$} 2. {it There exists a bijection between $C(R,M)$ of congruence classes of Ann-categories whose pre-stick is of the type $(R,M)$ and the Mac Lane cohomology group $H^3_{textrm{MaL}}(R,M).$}
This paper presents the structure conversion by which from an Ann-category $A,$ we can obtain its reduced Ann-category of the type $(R,M)$ whose structure is a family of five functions $k=(xi,eta,alpha,lambda,rho)$. Then we will show that each Ann-category is determined by three invariants: 1. The ring $Pi_0(A)$ of the isomorphic classes of objects of $A$, 2. $Pi_0(A)$-bimodule $Pi_1(A) = Aut_{A}(0),$ 3. The element $ bar{k}in H^{3}_{M}(Pi_0(A), Pi_1(A))$ (the ring cohomology due to MacLane).
This paper presents the proof of the coherence theorem for Ann-categories whose set of axioms and original basic properties were given in [9]. Let $$A=(A,{Ah},c,(0,g,d),a,(1,l,r),{Lh},{Rh})$$ be an Ann-category. The coherence theorem states that in the category $ A$, any morphism built from the above isomorphisms and the identification by composition and the two operations $tx$, $ts$ only depends on its source and its target. The first coherence theorems were built for monoidal and symmetric monoidal categories by Mac Lane [7]. After that, as shown in the References, there are many results relating to the coherence problem for certain classes of categories. For Ann-categories, applying Hoang Xuan Sinhs ideas used for Gr-categories in [2], the proof of the coherence theorem is constructed by faithfully ``embedding each arbitrary Ann-category into a quite strict Ann-category. Here, a {it quite strict} Ann-categogy is an Ann-category whose all constraints are strict, except for the commutativity and left distributivity ones. This paper is the work continuing from [9]. If there is no explanation, the terminologies and notations in this paper mean as in [9].
In this paper we study the structure of a class of categories having two operations which satisfy axioms analoguos to that of rings. Such categories are called Ann - categories. We obtain the classification theorems for regular Ann - categories and Ann - functors by using Mac Lane - Shukla cohomology of rings. These results give new interpretations of the cohomology groups and of the rings
In this paper, we show another proof of the problem by constructing a strict monoidal category M(C) consisting of M-functors and M-morphisms of a category C and we prove C is equivalent to it. The proof is based on a basic character of monoidal equivalences. Ideas and techniques of these proofs can been used to prove the equivalence between an Ann-category and an almost strict Ann-category.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
