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={C. 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… Expand

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 anExpand
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 tangentialExpand
Infinity category theory from scratch
We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally markedExpand
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 ofExpand
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 compatibilityExpand
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 inExpand
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 aExpand
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 thatExpand
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. AsExpand
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 anExpand


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, andExpand
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 properExpand
Function complexes in homotopical algebra
1 .l Summary IN [l] QUILLEN introduced the notion of a model category (a category together with three classes of maps: weak equivalences, fibrations and cofibrations, satisfying certain axioms (1.4Expand
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 theoryExpand
A cartesian presentation of weak n–categories
We propose a notion of weak (n+k,n)-category, which we call (n+k,n)-Theta-spaces. The (n+k,n)-Theta-spaces are precisely the fibrant objects of a certain model category structure on the category ofExpand
Weak complicial sets I. Basic homotopy theory
This paper develops the foundations of a simplicial theory of weak ?-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. TheExpand
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 andExpand
A characterization of simplicial localization functors and a discussion of DK equivalences
Abstract In a previous paper, we lifted Charles Rezk’s complete Segal model structure on the category of simplicial spaces to a Quillen equivalent one on the category of “relative categories”. Here,Expand
Abstract Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the “homotopy theory” ofExpand
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 smallExpand