# A Survey of (∞, 1)-Categories

@inproceedings{Bergner2010ASO, title={A Survey of (∞, 1)-Categories}, author={Julia E. Bergner}, year={2010} }

In this paper we give a summary of the comparisons between different definitions of so-called (∞, 1)-categories, which are considered to be models for ∞-categories whose n-morphisms are all invertible for n > 1. They are also, from the viewpoint of homotopy theory, models for the homotopy theory of homotopy theories. The four different structures, all of which are equivalent, are simplicial categories, Segal categories, complete Segal spaces, and quasi-categories.

#### 77 Citations

AN OUTLINE OF THE THEORY OF (∞, 1)-CATEGORIES

- 2013

This exposition offers an overview of the theory of (∞, 1)-categories and aims at providing a starting point for a more detailed study. Our main focus is on discussing the most popular definitions of… Expand

A note on the (∞,n)–category of cobordisms

- Mathematics
- Algebraic & Geometric Topology
- 2019

In this note we give a precise definition of fully extended topological field theories a la Lurie. Using complete n-fold Segal spaces as a model, we construct an $(\infty,n)$-category of… Expand

A short course on ∞-categories

- Mathematics
- 2020

In this short survey we give a non-technical introduction to some main ideas of the theory of ∞-categories, hopefully facilitating the digestion of the foundational work of Joyal and Lurie. Besides… Expand

AN ALGEBRAIC DEFINITION OF (∞, N)-CATEGORIES

- 2015

In this paper we define a sequence of monads T(∞,n)(n ∈ N) on the category ∞-Gr of ∞-graphs. We conjecture that algebras for T(∞,0), which are defined in a purely algebraic setting, are models… Expand

The homotopy theory of simplicial props

- Mathematics
- 2017

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on ‘higher props,’ we show… Expand

On the algebraic K-theory of higher categories

- Mathematics
- 2012

We prove that Waldhausen K-theory, when extended to a very general class of quasicategories, can be described as a Goodwillie differential. In particular, K-theory spaces admit canonical (connective)… Expand

Algebraic models for higher categories

- Mathematics
- 2010

Abstract We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this… Expand

Topological 1-Segal and 2-Segal Spaces

- Mathematics
- 2019

Informally, a higher category consists of
(0)
a collection of objects,
(1)
for objects x, y a collection of 1-morphisms between x and y,
(2)
for objects x, y and… Expand

Homotopy locally presentable enriched categories

- Mathematics
- 2013

We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main… Expand

A stable ∞-category of Lagrangian cobordisms

- Mathematics
- 2020

Abstract Given an exact symplectic manifold M and a support Lagrangian Λ ⊂ M , we construct an ∞-category Lag Λ ( M ) which we conjecture to be equivalent (after specialization of the coefficients)… Expand

#### References

SHOWING 1-10 OF 59 REFERENCES

A remark on K-theory and S-categories

- Mathematics
- 2002

Abstract It is now well known that the K-theory of a Waldhausen category depends on more than just its (triangulated) homotopy category (Invent. Math. 150 (2002) 111). The purpose of this note is to… Expand

Universal Homotopy Theories

- Mathematics
- 2000

Abstract Begin with a small category C . The goal of this short note is to point out that there is such a thing as a “universal model category built from C .” We describe applications of this to the… Expand

A model for the homotopy theory of homotopy theory

- Mathematics
- 1998

We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, “functors between two homotopy theories form a homotopy theory”, or more… Expand

Quasi-categories and Kan complexes

- Mathematics
- 2002

A quasi-category X is a simplicial set satisfying the restricted Kan conditions of Boardman and Vogt. It has an associated homotopy category hoX. We show that X is a Kan complex iff hoX is a… 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

HOMOTOPY COMMUTATIVE DIAGRAMS AND THEIR REALIZATIONS

- Mathematics
- 1989

Abstract In this paper we describe an obstruction theory for the problem of taking a commutative diagram in the homotopy category of topological spaces and lifting it to an actual commutative diagram… Expand

The homotopy theory of dg-categories and derived Morita theory

- Mathematics
- 2004

The main purpose of this work is to study the homotopy theory of dg-categories up to quasi-equivalences. Our main result is a description of the mapping spaces between two dg-categories C and D in… Expand

CHAPTER 2 – Homotopy Theories and Model Categories

- Mathematics
- 1995

This chapter explains homotopy theories and model categories. A model category is just an ordinary category with three specified classes of morphisms—fibrations, cofibrations, and weak… Expand

A CHARACTERIZATION OF FIBRANT SEGAL CATEGORIES

- Mathematics
- 2006

In this note we prove that Reedy fibrant Segal categories are fi- brant objects in the model category structure SeCatc. Combining this result with a previous one, we thus have that the fibrant… Expand

A model category structure on the category of simplicial categories

- Mathematics
- 2004

In this paper we put a cofibrantly generated model category struc- ture on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of… Expand