Coherence in three-dimensional category theory
QA169 .G87 2013
- Unknown QA169 .G87 2013
- Includes bibliographical references (pages 273-276) and index.
- Bicategorical background
- Coherence for bicategories
- Tricategories: The algebraic definition of tricategory
- Free constructions
- Basic structure
- Gray-categories and tricategories
- Coherence via Yoneda
- Coherence via free constructions
- Gray monads. Codescent in Gray-categories
- Codescent as a weighted colimit
- Gray-monads and their algebras
- The reflection of lax algebras into strict algebras
- A general coherence result.
- "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. Along the way the author treats such material as the Gray tensor product and gives a construction of the fundamental 3-groupoid of a space. The book serves as a comprehensive introduction, covering essential material for any student of coherence and assuming only a basic understanding of higher category theory. It is also a reference point for many key concepts in the field and therefore a vital resource for researchers wishing to apply higher categories or coherence results in fields such as algebraic topology or theoretical computer science"--Provided by publisher.
- Supplemental links
- Cover image
- Publication date
- Nick Gurski, University of Sheffield.
- Cambridge tracts in mathematics ; 201