ScalingStacks

[0MLD]

Example 15.7 ([29, Proposition 1.5.4]). Let ℳ\mathcal{M} be a left proper simplicial combinatorial model category which is an absolute distributor ([29, Definition 1.5.1]). Then the category Fun⁡(Δop,ℳ)\Fun(\Delta^{\mathrm{op}},\mathcal{M}), of simplicial objects in ℳ\mathcal{M}, admits the ℳ\mathcal{M}-enriched complete Segal model structure CSSℳ\CSS_{\mathcal{M}}, which is again left proper, simplicial, combinatorial, and an absolute distributor. If ℳ\mathcal{M} is a model category of of (∞,n−1)(\infty,n-1)-categories, then CSSℳ\CSS_{\mathcal{M}} is a model category of (∞,n)(\infty,n)-categories.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Clark Barwick, Christopher Schommer-Pries

Original source: arXiv:1112.0040v6

Original source · 1112.0040v6