Coherence in three-dimensional category theory / Nick Gurski.
"Dimension three is an important test-bed for hypotheses in higher category theory and occupies something of a unique position in the categorical landscape. At the heart of matters is the coherence theorem, of which this book provides a definitive treatment, as well as covering related results....
Saved in:
| : | |
|---|---|
| TeilnehmendeR: | |
| Year of Publication: | 2013 |
| Language: | English |
| Series: | Cambridge tracts in mathematics ;
201 |
| Online Access: | |
| Physical Description: | vii, 278 p. :; ill. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Machine generated contents note: Introduction; Part I. Background: 1. Bicategorical background; 2. Coherence for bicategories; 3. Gray-categories; Part II. Tricategories: 4. The algebraic definition of tricategory; 5. Examples; 6. Free constructions; 7. Basic structure; 8. Gray-categories and tricategories; 9. Coherence via Yoneda; 10. Coherence via free constructions; Part III. Gray monads: 11. Codescent in Gray-categories; 12. Codescent as a weighted colimit; 13. Gray-monads and their algebras; 14. The reflection of lax algebras into strict algebras; 15. A general coherence result; Bibliography; Index.