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. 

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 differential graded categories and A ∞ -categories over a field are equivalent at the ( ∞ , 1)-categorical level. The results are corollaries of a theorem of

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

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

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

Algebraic models for higher categories

Topological 1-Segal and 2-Segal Spaces

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

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

A stable ∞-category of Lagrangian cobordisms

...

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

Quasi-categories and Kan complexes

Vogt's theorem on categories of homotopy coherent diagrams

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

THREE MODELS FOR THE HOMOTOPY THEORY OF HOMOTOPY THEORIES

...