Coherence theorem

In mathematics and particularly category theory, a coherence theorem is a tool for proving a coherence condition. Typically a coherence condition requires an infinite number of equalities among compositions of structure maps. A coherence theorem states that, in order to be assured that all these equalities hold, it suffices to check a small number of identities.

Examples

Consider the case of a monoidal category. Recall that part of the data of a monoidal category is an associator, which is a choice of morphism

\alpha _{{A,B,C}}\colon (A\otimes B)\otimes C\rightarrow A\otimes (B\otimes C)

for each triple of objects $A,B,C$ . Mac Lane's coherence theorem states that, provided the following diagram commutes for all quadruples of objects $A,B,C,D$ ,

any pair of morphisms from $((\cdots (A_{N}\otimes A_{{N-1}})\otimes \cdots )\otimes A_{2})\otimes A_{1})$ to $(A_{N}\otimes (A_{{N-1}}\otimes (\cdots \otimes (A_{2}\otimes A_{1})\cdots ))$ constructed as compositions of various $\alpha _{{A,B,C}}$ are equal.

References

Mac Lane, Saunders (1971). "Categories for the working mathematician". Graduate Texts in Mathematics Springer-Verlag. Especially Chapter VII.

1337777.OOO , Maclane pentagone is some recursive square , https://github.com/1337777/dosen/blob/master/coherence2.v

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.