Mathematics – Category Theory
Scientific paper
2007-08-03
(in Vietnamese) Vietnam Journal of Mathematics Vol. XVI, No 1, 1988
Mathematics
Category Theory
10 peges
Scientific paper
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 Sinh's 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].
No associations
LandOfFree
The Coherence Theorem for Ann-Categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Coherence Theorem for Ann-Categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Coherence Theorem for Ann-Categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-499848