On the Unicity of the Homotopy Theory of Higher Categories

DOI10.1090/JAMS/972zbMATH Open1507.18025arXiv1112.0040MaRDI QIDQ6229397FDOQ6229397

Authors: C. Barwick, Christopher J. Schommer-Pries 

Publication date: 30 November 2011

Abstract: We axiomatise the theory of $(infty,n)$-categories. We prove that the space of theories of $(infty,n)$-categories is a $B(mathbbZ/2{)}^n$. We prove that Rezk's complete Segal $Thet{a}_n$-spaces, Simpson and Tamsamani's Segal $n$-categories, the first author's $n$-fold complete Segal spaces, Kan and the first author's $n$-relative categories, and complete Segal space objects in any model of $(infty,n-1)$-categories all satisfy our axioms. Consequently, these theories are all equivalent in a manner that is unique up to the action of $(mathbbZ/2{)}^n$.

Mathematics Subject Classification ID

((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) ((infty, n))-categories and ((infty,infty))-categories (18N65)

This page was built for publication: On the Unicity of the Homotopy Theory of Higher Categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6229397)