اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدThe Coherence Theorem for Ann-Categories
124
0
0.0
(
0
)
تأليف
Nguyen Tien Quang
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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].
قيم البحث
اقرأ أيضاً
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-ca
tegory 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).
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 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 A
nn - functors by using Mac Lane - Shukla cohomology of rings. These results give new interpretations of the cohomology groups and of the rings
Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise generalizations.
In this paper, we extend existing coherence theorems to the setting of indexed symmetric monoidal categories. The most central theorem states that a large family of operations on a bicategory defined from an indexed symmetric monoidal category are all canonically isomorphic. As a part of this theorem, we introduce a rigorous graphical calculus that specifies when two such operations admit a canonical isomorphism.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
