nLab model structure on sSet-categories

Idea

Depending on the chosen model category structure, the category sSet of simplicial sets may model ∞-groupoids (for the standard model structure on simplicial sets) or (∞,1)-categories in the form of quasi-categories (for the Joyal model structure) on SSet.

Accordingly, there are model category structures on sSet-categories that similarly model (n,r)-categories with $r$ shifted up by 1:

• there is a model structure on $SSet$-enriched categories whose fibrant objects are ∞-groupoid/Kan complex-enriched categories and which models (∞,1)-categories;

This we discuss below.

• there is another model structure on sSet-categories whose fibrant objects are (∞,1)-category/quasi-category-enriched categories, and which model (∞,2)-categories.

  For more on this see elsewhere

Both are special cases of a model structure on enriched categories.

Model for $(\infty,1)$-categories

Here we describe the model category structure on SSet Cat that makes it a model for the (∞,1)-category of (∞,1)-categories.

Definition

An sSet-enriched functor $F : C \to D$ between sSet-categories is called a weak equivalence precisely if

• it is essentially surjective in that the induced functor of homotopy categories is an ordinary essentially surjective functor;

• it is an $\infty$-full and faithful functor in that for all objects $x,y \in C$ the morphism

  $$F_{x,y} : C(x,y) \to D(F(x), F(y))$$

  is a weak equivalence in the standard model structure on simplicial sets.

This notion is due to Dwyer & Kan 80 FuncComp, Sec. 2.4 and known as Dwyer-Kan equivalences.

Proposition

A Quillen equivalence $D \leftrightarrows C$ between model categories induces a Dwyer-Kan-equivalence $L C \leftrightarrow L D$ between their simplicial localizations.

This is made explicit in Mazel-Gee 15, p. 17 to follow from Dwyer & Kan 80, Prop. 4.4 with 5.4.

The analogous statement under further passage to Joyal equivalences of quasi-categories is Lurie 09, Cor. A.3.1.12, under the additional assumptions that the model categories are simplicial, that every object of $C$ is cofibrant and that the right adjoint is an sSet enriched functor.

Proposition

The category SSet Cat of small simplicially enriched categories carries the structure of a model category with

• weak equivalences the Dwyer-Kan equivalences;

• fibrations those sSet-enriched functors $F : C \to D$ such that

  1. for all $x, y \in C$ the morphism $F_{x,y} : C(x,y) \to D(F(x), F(y))$ is a fibration in the standard model structure on simplicial sets;

  2. the induced functor $\pi_0(F) : Ho(C) \to Ho(D)$ on homotopy categories is an isofibration.

(Bergner 04)

Remark

In particular, the fibrant objects in this structure are the Kan complex-enriched categories, i.e. the strictly ∞-groupoid-enriched ones (see (n,r)-category).

Properties

Proposition

The Bergner model structure of prop. is a proper model category.

A reference for right properness is (Bergner 04, prop. 3.5). A reference for left properness is (Lurie, A.3.2.4) and (Lurie, A.3.2.25).

Related concepts

• model structure for quasi-categories

• relation between quasi-categories and simplicial categories

• simplicial localization

The entries of the following table display model categories and Quillen equivalences between these that present the (∞,1)-category of (∞,1)-categories (second table), of (∞,1)-operads (third table) and of $\mathcal{O}$-monoidal (∞,1)-categories (fourth table).

	general pattern
strict enrichment		(∞,1)-category/(∞,1)-operad
$\downarrow$		$\downarrow$
enriched (∞,1)-category	$\hookrightarrow$	internal (∞,1)-category
	(∞,1)Cat
SimplicialCategories	$-$homotopy coherent nerve$\to$	SimplicialSets/quasi-categories		RelativeSimplicialSets
$\downarrow$simplicial nerve		$\downarrow$
SegalCategories	$\hookrightarrow$	CompleteSegalSpaces
	(∞,1)Operad
SimplicialOperads	$-$homotopy coherent dendroidal nerve$\to$	DendroidalSets		RelativeDendroidalSets
$\downarrow$dendroidal nerve		$\downarrow$
SegalOperads	$\hookrightarrow$	DendroidalCompleteSegalSpaces
	$\mathcal{O}$Mon(∞,1)Cat
		DendroidalCartesianFibrations

References

A model category structure on the category of $sSet$-categories with a fixed set of objects was first given in

• William Dwyer, Dan Kan, Simplicial localization of categories, J. Pure and Applied Algebra 17 (3) (1980) (pdf)

Dywer, Spalinski and later Rezk then pointed out that there ought to exist a model category structure on the collection of all $sSet$-categories that models the (∞,1)-category of (∞,1)-categories. This was then constructed in

• Julie Bergner, A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc. 359 (2007), 2043-2058 (arXiv:0406507, doi:10.1090/S0002-9947-06-03987-0)

Also:

• Jacob Lurie, Section A.3.2 of: Higher Topos Theory

• Jacob Lurie, $(\infty,2)$-categories and the Goodwillie calculus, GoodwillieI.pdf

Survey and review:

• Julie Bergner, Section 3 of: A survey of $(\infty,1)$-categories (arXiv:math/0610239)

• Emily Riehl, Section 16 of: Categorical Homotopy Theory, Cambridge University Press, 2014 (pdf, doi:10.1017/CBO9781107261457)

See also

• William Dwyer, Daniel Kan, Function complexes in homotopical algebra , Topology 19 (1980), 427–440 (pdf)

• Aaron Mazel-Gee, Quillen adjunctions induce adjunctions of quasicategories, New York Journal of Mathematics Volume 22 (2016) 57-93 (arXiv:1501.03146, publisher)

Recall the slight but crucial difference between the two notions of “simplicial categories”, the other being an internal category in sSet. But also for this latter concept there is a model category structure which presents (infinity,1)-categories, see

• Geoffroy Horel, A model structure on internal categories, Theory and Applications of Categories, Vol. 30, 2015, No. 20, pp 704-750 (arXiv:1403.6873).