A Survey of (∞, 1)-Categories

  title={A Survey of (∞, 1)-Categories},
  author={Julia E. Bergner},
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. 
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 ofExpand
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 ofExpand
A short course on ∞-categories
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. BesidesExpand
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 modelsExpand
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 showExpand
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 (connective)Expand
Algebraic models for higher categories
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 thisExpand
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 andExpand
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 mainExpand
A stable ∞-category of Lagrangian cobordisms
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


A remark on K-theory and S-categories
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 toExpand
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 theExpand
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 moreExpand
Quasi-categories and Kan complexes
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 aExpand
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
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 diagramExpand
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 inExpand
CHAPTER 2 – Homotopy Theories and Model Categories
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 weakExpand
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 fibrantExpand
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 ofExpand