ScalingStacks

[0MKT]

Theorem 13.15. The triple (Θn,TΘn,i)(\Theta_{n},T_{\Theta_{n}},i) satisfies the axioms (R.1-4); The ∞\infty-category CSS⁡(Θn)\CSS(\Theta_{n}) of complete Segal Θn\Theta_{n}-spaces is a theory of (∞,n)(\infty,n)-categories.

[0MKU]

Proof. Condition (R.4) is clear, and the functor i:Θn→Υni:\Theta_{n}\to\Upsilon_{n} is a fully-faithful inclusion, hence (R.3) is automatically satisfied. Conditions (R.1) and (R.2) follow from Th. 13.13 and Lemma 13.14. ∎

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