• Corpus ID: 15759173

On the Unicity of the Homotopy Theory of Higher Categories

  title={On the Unicity of the Homotopy Theory of Higher Categories},
  author={Clark Barwick and Christopher J. Schommer-Pries},
  journal={arXiv: Algebraic Topology},
We axiomatise the theory of $(\infty,n)$-categories. We prove that the space of theories of $(\infty,n)$-categories is a $B(\mathbb{Z}/2)^n$. We prove that Rezk's complete Segal $\Theta_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… 

Figures from this paper

Fibrations and Yoneda's lemma in an $\infty$-cosmos
We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an
Invertible Topological Field Theories
A $d$-dimensional invertible topological field theory is a functor from the symmetric monoidal $(\infty,n)$-category of $d$-bordisms (embedded into $\mathbb{R}^\infty$ and equipped with a tangential
From operator categories to higher operads
In this paper we introduce the notion of an operator category and two different models for homotopy theory of $\infty$-operads over an operator category -- one of which extends Lurie's theory of
On exact $\infty$-categories and the Theorem of the Heart
The new homotopy theory of exact$\infty$-categories is introduced and employed to prove a Theorem of the Heart for algebraic $K$-theory (in the sense of Waldhausen). This implies a new compatibility
The stack of higher internal categories and stacks of iterated spans
In this paper, we show that two constructions form stacks: Firstly, as one varies the $\infty$-topos, $\mathcal{X}$, Lurie's homotopy theory of higher categories internal to $\mathcal{X}$ varies in
Flagged higher categories
We introduce \emph{flagged $(\infty,n)$-categories} and prove that they are equivalent to Segal sheaves on Joyal's category ${\mathbf\Theta}_n$. As such, flagged $(\infty,n)$-categories provide a
On the equivalence between Θ_{}-spaces and iterated Segal spaces
We give a new proof of the equivalence between two of the main models for $(\infty,n)$-categories, namely the $n$-fold Segal spaces of Barwick and the $\Theta_{n}$-spaces of Rezk, by proving that
A stratified homotopy hypothesis
We show that conically smooth stratified spaces embed fully faithfully into $\infty$-categories. This articulates a stratified generalization of the homotopy hypothesis proposed by Grothendieck. As
Kan extensions and the calculus of modules for $∞$-categories
Various models of $(\infty,1)$-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an
Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent Nerves
It is shown that quasi-categorical limit cones may be modeled at the point-set level by pseudo homotopy limit cones, whose shape is governed by the weight for pseudo limits over aHomotopy coherent diagram but with the defining universal property up to equivalence, rather than isomorphism, of mapping spaces.


Some properties of the theory of n-categories
Let $L_n$ denote the Dwyer-Kan localization of the category of weak n-categories divided by the n-equivalences. We propose a list of properties that this simplicial category is likely to have, and
Homotopy theory of higher categories
This is the first draft of a book about higher categories approached by iterating Segal's method, as in Tamsamani's definition of $n$-nerve and Pelissier's thesis. If $M$ is a tractable left proper
Descente pour les n-champs (Descent for n-stacks)
We develop the theory of n-stacks (or more generally Segal n-stacks which are $\infty$-stacks such that the morphisms are invertible above degree n). This is done by systematically using the theory
Accessible categories : the foundations of categorical model theory
[F-S] D. Fremlin and S. Shelah, Pointwise compact and stable sets of measurable functions, manuscript, 1990. [G-G-M-S] N. Ghoussoub, G. Godefroy, B. Maurey, W. Schachermayer, Some topological and
A Cellular Nerve for Higher Categories
Abstract We realise Joyal' cell category Θ as a dense subcategory of the category of ω-categories. The associated cellular nerve of an ω-category extends the well-known simplicial nerve of a small