ScalingStacks

[0MK0]

Proof. Being local with respect SegalΔ×n\mathrm{Segal}_{\Delta^{\!\times n}} and GlobΔ×n\mathrm{Glob}_{\Delta^{\!\times n}} (or to SegalΘn\mathrm{Segal}_{\Theta_{n}} for Θn\Theta_{n}-presheaves) implies that the presheaf is the nerve of a strict nn-category. Such an nn-category is gaunt if and only if it is local with respect to the morphisms σk​(E)→σk​(C0)\sigma^{k}(E)\to\sigma^{k}(C_{0}). This last follows from locality with respect to CompΔ×n\mathrm{Comp}_{\Delta^{\!\times n}} (or, respectively, with respect to CompΘn\mathrm{Comp}_{\Theta_{n}}) because the square

[1]⊔[1][1]\sqcup[1][0]⊔[0][0]\sqcup[0][3][3]EEi0,2⊔i1,3i_{0,2}\sqcup i_{1,3}⌟\lrcorner

is a pushout square of strict nn-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