| 000 | 02545nam a22003498i 4500 | ||
|---|---|---|---|
| 001 | CR9781139542333 | ||
| 003 | UkCbUP | ||
| 005 | 20200124160237.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 120702s2013||||enk o ||1 0|eng|d | ||
| 020 | _a9781139542333 (ebook) | ||
| 020 | _z9781107034891 (hardback) | ||
| 040 |
_aUkCbUP _beng _erda _cUkCbUP |
||
| 050 | 0 | 0 |
_aQA169 _b.G87 2013 |
| 082 | 0 | 0 |
_a512/.55 _223 |
| 100 | 1 |
_aGurski, Nick, _d1980- _eauthor. |
|
| 245 | 1 | 0 |
_aCoherence in three-dimensional category theory / _cNick Gurski, University of Sheffield. |
| 264 | 1 |
_aCambridge : _bCambridge University Press, _c2013. |
|
| 300 |
_a1 online resource (vii, 278 pages) : _bdigital, PDF file(s). |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aCambridge tracts in mathematics ; _v201 |
|
| 500 | _aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). | ||
| 505 | 0 | _aIntroduction -- 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. | |
| 520 | _aDimension 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. | ||
| 650 | 0 | _aTricategories. | |
| 776 | 0 | 8 |
_iPrint version: _z9781107034891 |
| 830 | 0 |
_aCambridge tracts in mathematics ; _v201. |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1017/CBO9781139542333 |
| 999 |
_c518202 _d518200 |
||