# 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.
85 Citations

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

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

### Remarks on the equivalence between differential graded categories and A-infinity categories

. We show that the homotopy theories of diﬀerential graded categories and A ∞ -categories over a ﬁeld are equivalent at the ( ∞ , 1)-categorical level. The results are corollaries of a theorem of

### 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

### AN ALGEBRAIC DEFINITION OF (∞, N)-CATEGORIES

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

### 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

### Topological 1-Segal and 2-Segal Spaces

• Mathematics
Higher Segal Spaces
• 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

### On the algebraic K‐theory of higher categories

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

### 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

## References

SHOWING 1-10 OF 61 REFERENCES

### Universal Homotopy Theories

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

### A model for the homotopy theory of homotopy theory

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

### Vogt's theorem on categories of homotopy coherent diagrams

• Mathematics
Mathematical Proceedings of the Cambridge Philosophical Society
• 1986
Let Top be the category of compactly generated topological spaces and continuous maps. The category, Top, can be given the structure of a simplicially enriched category (or S-category, S being the

### The homotopy theory of dg-categories and derived Morita theory

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

### A CHARACTERIZATION OF FIBRANT SEGAL CATEGORIES

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

### A model category structure on the category of simplicial categories

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