TY - BOOK AU - Gurski,Nick TI - Coherence in three-dimensional category theory T2 - Cambridge tracts in mathematics SN - 9781139542333 (ebook) AV - QA169 .G87 2013 U1 - 512/.55 23 PY - 2013/// CY - Cambridge PB - Cambridge University Press KW - Tricategories N1 - Title from publisher's bibliographic system (viewed on 05 Oct 2015); Introduction -- Background: Bicategorical background ; Coherence for bicategories ; Gray-categories -- Tricategories: The algebraic definition of tricategory ; Examples ; 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 N2 - 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 UR - https://doi.org/10.1017/CBO9781139542333 ER -