Coherence in Three-Dimensional Category Theory
Seiten
2013
Cambridge University Press (Verlag)
978-1-107-03489-1 (ISBN)
Cambridge University Press (Verlag)
978-1-107-03489-1 (ISBN)
Higher category theory is an increasingly important discipline with applications in topology, geometry, logic and theoretical computer science. This comprehensive treatment covers essential material for any student of coherence, or for any researcher wishing to apply higher categories or coherence results in fields such as algebraic topology.
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.
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.
Nick Gurski is a Lecturer in the School of Mathematics and Statistics at the University of Sheffield.
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.
| Reihe/Serie | Cambridge Tracts in Mathematics |
|---|---|
| Verlagsort | Cambridge |
| Sprache | englisch |
| Maße | 155 x 236 mm |
| Gewicht | 510 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik ► Algebra | |
| Mathematik / Informatik ► Mathematik ► Geometrie / Topologie | |
| ISBN-10 | 1-107-03489-2 / 1107034892 |
| ISBN-13 | 978-1-107-03489-1 / 9781107034891 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
CHF 23,75
