Coherence theorem
Tree rotation
Tree rotation - Wikipedia, the free encyclopedia を参照。
General associativity theorem
General Associativity Theorem/Formulation 3 - ProofWiki を参照。
これにより、binary tree は tree rotation の繰り返しでどんな形にも変形できる。
以下、手に負えそうもない命題たち。
Coherence theorem for monoidal categories
Mac Lane's proof of the coherence theorem for monoidal categories in nLab を参照。
系
Monoidal category は strict monoidal category に monoidally equivalent。
これにより、monoidal category を string diagram に描くことが出来る。
より一般に、bicategory においても同様になる(らしい)。
Coherence theorem for bicategories
Bicategory は 2-category に biequivalent。
