Mac Lane's coherence theorem

In category theory in mathematics, Mac Lane's coherence theorem states that in any monoidal category, every well-formed diagram built from the associativity and unit isomorphisms commutes. The theorem can be stated as a strictification result, namely that every monoidal category is monoidally equivalent to a strict monoidal category.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.