## Higher-dimensional Mac Lane's pentagon and Zamolodchikov equations (1999)

Citations: | 1 - 1 self |

### BibTeX

@TECHREPORT{Crans99higher-dimensionalmac,

author = {Sjoerd E. Crans},

title = {Higher-dimensional Mac Lane's pentagon and Zamolodchikov equations},

institution = {},

year = {1999}

}

### OpenURL

### Abstract

An important ingredient of Mac Lane's coherence theorem for monoidal categories is Mac Lane's pentagon, a diagram whose commutativity is needed so that \all diagrams commute". This paper gives a higher-dimensional generalization of Mac Lane's pentagon: a 6-dimensional diagram whose commutativity is needed in order for all diagrams in somewhat weak teisi to commute. Looping twice gives a 4-dimensional diagram in somewhat weak braided teisi, of which ve 3-dimensional edges can be interpreted as proofs of ve dierent Zamolodchikov equations in braided monoidal 2-categories. Hence higher-dimensional Mac Lane's pentagon expresses the relations between these proofs concisely. 1 Introduction The coherence theorem for tricategories states that every tricategory is triequivalent to a Gray-category [6]. But there is also another coherence theorem for tricategories, stating that tricategories are (algebras for a) contractible (operad) [1], which roughly says that \all diagrams in a tricategory...

### Citations

921 |
Categories for the working mathematician
- Lane
- 1998
(Show Context)
Citation Context ...es, stating that tricategories are (algebras for a) contractible (operad) [1], which roughly says that \all diagrams in a tricategory commute". In the basic reference situation of monoidal catego=-=ries [13, 14]-=-, the two coherence theorems are equivalent [8]. A cursory inspection of this equivalence suggests that one could prove coherence for tricategories bysrst proving contractibility and then constructing... |

242 |
Braided tensor categories
- Joyal, Street
- 1983
(Show Context)
Citation Context ...contractible (operad) [1], which roughly says that \all diagrams in a tricategory commute". In the basic reference situation of monoidal categories [13, 14], the two coherence theorems are equiva=-=lent [8]-=-. A cursory inspection of this equivalence suggests that one could prove coherence for tricategories bysrst proving contractibility and then constructing a functor st : Tricat ! Gray-Cat adjoint to th... |

110 |
Monoidal globular categories as a natural environment for the theory of weak n-categories
- Batanin
- 1998
(Show Context)
Citation Context ...es that every tricategory is triequivalent to a Gray-category [6]. But there is also another coherence theorem for tricategories, stating that tricategories are (algebras for a) contractible (operad) =-=[1], whi-=-ch roughly says that \all diagrams in a tricategory commute". In the basic reference situation of monoidal categories [13, 14], the two coherence theorems are equivalent [8]. A cursory inspection... |

107 |
Coherence for tricategories
- Gordon, Power, et al.
- 1995
(Show Context)
Citation Context ...al Mac Lane's pentagon expresses the relations between these proofs concisely. 1 Introduction The coherence theorem for tricategories states that every tricategory is triequivalent to a Gray-category =-=[6]-=-. But there is also another coherence theorem for tricategories, stating that tricategories are (algebras for a) contractible (operad) [1], which roughly says that \all diagrams in a tricategory commu... |

90 |
2-categories and Zamolodchikov tetrahedra equations,” in: Algebraic groups and their generalizations: quantum and infinite-dimensional methods
- Kapranov, Voevodsky
- 1994
(Show Context)
Citation Context ...ur Yang-Baxter hexagons. Hence these 3-arrows can be interpreted as proofs of Zamolodchikov equations in (somewhat weak) braided 2-dimensional teisi. Comparing this with Kapranov and Voevodsky's work =-=[10, 9, 1-=-1], whose braided monoidal 2-categories dier slightly from braided 2-dimensional teisi, the conclusion will be that there are not eight, not three, butsve dierent equations involving the 2-arrows S + ... |

73 |
Two dimensional monad theory
- Blackwell, Kelly, et al.
- 1989
(Show Context)
Citation Context ...rence for tricategories bysrst proving contractibility and then constructing a functor st : Tricat ! Gray-Cat adjoint to the inclusion Gray-Cat ! Tricat. A closer inspection, of [6, Section 4.10] and =-=[3, 16]-=-, reveals that such st would give coherence for weak Gray-categories, without the need to go via tricategories, but also that it will probably require quite some asyet -undeveloped `Gray-dimensional u... |

58 |
Natural associativity and commutativity
- Lane, S
- 1963
(Show Context)
Citation Context ...es, stating that tricategories are (algebras for a) contractible (operad) [1], which roughly says that \all diagrams in a tricategory commute". In the basic reference situation of monoidal catego=-=ries [13, 14]-=-, the two coherence theorems are equivalent [8]. A cursory inspection of this equivalence suggests that one could prove coherence for tricategories bysrst proving contractibility and then constructing... |

25 | Generalized centers of braided and sylleptic monoidal 2categories - Crans - 1998 |

21 | Categorical structures, in: Handbook of algebra 1 - Street - 1996 |

18 |
A general coherence result
- Power
- 1989
(Show Context)
Citation Context ...rence for tricategories bysrst proving contractibility and then constructing a functor st : Tricat ! Gray-Cat adjoint to the inclusion Gray-Cat ! Tricat. A closer inspection, of [6, Section 4.10] and =-=[3, 16]-=-, reveals that such st would give coherence for weak Gray-categories, without the need to go via tricategories, but also that it will probably require quite some asyet -undeveloped `Gray-dimensional u... |

15 |
On Mac Lane’s conditions for coherence of natural associativities, commutativities, etc
- Kelly
- 1964
(Show Context)
Citation Context ...noidal categories, the minimal list consists of two more naturality squares and one more axiom; Kelly proved that three further axioms included by Mac Lane are actually consequences of the other ones =-=[12]-=-, and that the list is indeed minimal. So there are four steps to a contractibility theorem: establishing a list, proving this list implies contractibility, reducing the list if possible, and proving ... |

13 | Pasting Diagrams in nCategories with Applications to Coherence Theorems and Categories of Paths - Johnson - 1987 |

9 |
Distributive laws for pseudomonads, Theory
- Marmolejo
- 1999
(Show Context)
Citation Context ...h st would give coherence for weak Gray-categories, without the need to go via tricategories, but also that it will probably require quite some asyet -undeveloped `Gray-dimensional universal algebra' =-=[1-=-5]. Conversely, coherence implies contractibility because Gray-categories are contractible [2]. 2000 Mathematics Subject Classication: 18D05 (18A05, 18D10, 81R50, 81T99) Adapted from a talk at the In... |

8 |
Braided monoidal 2-categories and ManinSchechtman braid groups
- Kapranov, Voevodsky
- 1994
(Show Context)
Citation Context ...ur Yang-Baxter hexagons. Hence these 3-arrows can be interpreted as proofs of Zamolodchikov equations in (somewhat weak) braided 2-dimensional teisi. Comparing this with Kapranov and Voevodsky's work =-=[10, 9, 1-=-1], whose braided monoidal 2-categories dier slightly from braided 2-dimensional teisi, the conclusion will be that there are not eight, not three, butsve dierent equations involving the 2-arrows S + ... |

5 |
Braided monoidal 2-categories, 2-vector spaces and Zamalodchikov tetrahedra equations
- Kapranov, Voevodsky
- 1988
(Show Context)
Citation Context ...ur Yang-Baxter hexagons. Hence these 3-arrows can be interpreted as proofs of Zamolodchikov equations in (somewhat weak) braided 2-dimensional teisi. Comparing this with Kapranov and Voevodsky's work =-=[10, 9, 1-=-1], whose braided monoidal 2-categories dier slightly from braided 2-dimensional teisi, the conclusion will be that there are not eight, not three, butsve dierent equations involving the 2-arrows S + ... |

4 |
On braidings, syllepses, and symmetries, Cahiers Topologie Geom. Dierentielle Categ
- Crans
- 2000
(Show Context)
Citation Context ...he support of NSERC and FCAR Quebec 1 Before any of this can be generalized to higher dimensions, one needs a good candidate for what weak n-categories might strictify to. One such candidate is teisi =-=[5]-=-. In a tas, m-composition of a p-arrow and a q-arrow for p; q > m+ 1 results in a (p + q m 1)-arrow, which generalizes the 0-composition of two 2-arrows in a Gray-category resulting in a 3-arrow, as i... |

1 |
personal communication
- Batanin
(Show Context)
Citation Context ... but also that it will probably require quite some asyet -undeveloped `Gray-dimensional universal algebra' [15]. Conversely, coherence implies contractibility because Gray-categories are contractible =-=[-=-2]. 2000 Mathematics Subject Classication: 18D05 (18A05, 18D10, 81R50, 81T99) Adapted from a talk at the International Meeting on Category Theory, Coimbra, Portugal, 19 July 1999 y The author acknowl... |