Mac Lane's coherence theorem

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:concerns monoidal categories
gptkbp:field gptkb:category_theory
https://www.w3.org/2000/01/rdf-schema#label Mac Lane's coherence theorem
gptkbp:implies any two ways of parenthesizing a tensor product are isomorphic
gptkbp:importantFor foundational result in category theory
gptkbp:namedAfter gptkb:Saunders_Mac_Lane
gptkbp:publishedIn 1950s
gptkbp:relatedTo gptkb:monoidal_functor
associativity
coherence law
gptkbp:state all diagrams built from associativity and unit constraints in a monoidal category commute
gptkbp:bfsParent gptkb:Saunders_Mac_Lane
gptkbp:bfsLayer 5