Coherence in Three-Dimensional Category Theory
Nonfiction, Science & Nature, Mathematics, Logic, Algebra
| Author: | Nick Gurski | ISBN: | 9781107327139 |
| Publisher: | Cambridge University Press | Publication: | March 21, 2013 |
| Imprint: | Cambridge University Press | Language: | English |
| Author: | Nick Gurski |
| ISBN: | 9781107327139 |
| Publisher: | Cambridge University Press |
| Publication: | March 21, 2013 |
| Imprint: | Cambridge University Press |
| Language: | English |
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.
