# On the Unicity of the Homotopy Theory of Higher Categories

@article{Barwick2011OnTU, title={On the Unicity of the Homotopy Theory of Higher Categories}, author={C. Barwick and Christopher J. Schommer-Pries}, journal={arXiv: Algebraic Topology}, year={2011} }

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

#### 85 Citations

Fibrations and Yoneda's lemma in an $\infty$-cosmos

- Mathematics
- 2015

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… Expand

Invertible Topological Field Theories

- Mathematics
- 2017

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… Expand

Infinity category theory from scratch

- Mathematics
- 2016

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 marked… Expand

From operator categories to higher operads

- Mathematics
- 2018

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… Expand

On exact $\infty$-categories and the Theorem of the Heart

- Mathematics
- Compositio Mathematica
- 2015

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… Expand

The stack of higher internal categories and stacks of iterated spans

- Mathematics
- 2015

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… Expand

Flagged higher categories

- Mathematics, Geography
- 2018

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… Expand

On the equivalence between Θ_{}-spaces and iterated Segal spaces

- Mathematics
- 2016

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… Expand

A stratified homotopy hypothesis

- Mathematics
- 2015

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… Expand

Kan extensions and the calculus of modules for $∞$-categories

- Mathematics
- 2017

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… Expand

#### References

SHOWING 1-10 OF 43 REFERENCES

Some properties of the theory of n-categories

- Mathematics
- 2001

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… Expand

Homotopy theory of higher categories

- Mathematics
- 2011

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… Expand

Function complexes in homotopical algebra

- Mathematics
- 1980

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.4… Expand

Descente pour les n-champs (Descent for n-stacks)

- Mathematics
- 1998

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… Expand

A cartesian presentation of weak n–categories

- Mathematics
- 2010

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 of… Expand

Weak complicial sets I. Basic homotopy theory

- Mathematics
- 2008

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. The… Expand

Accessible categories : the foundations of categorical model theory

- Mathematics
- 1989

[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… Expand

A characterization of simplicial localization functors and a discussion of DK equivalences

- Mathematics
- 2012

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

THREE MODELS FOR THE HOMOTOPY THEORY OF HOMOTOPY THEORIES

- Mathematics
- 2005

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” of… Expand

A Cellular Nerve for Higher Categories

- Mathematics
- 2002

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… Expand