ScalingStacks

[05UF]

Proof. This follows from (3.6) and (3.9), together with the fact that (N​C){hoequiv}(NC)_{\hoequiv} is isomorphic to nerve⁡iso⁡(CI⁡[1])\nerve\iso(C^{I[1]}) and the fact that the natural inclusion iso⁡C→iso⁡(CI⁡[1])\iso C\rightarrow\iso(C^{I[1]}) is an equivalence of categories. ∎

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

Charles Rezk

Original source: arXiv:math/9811037v3

    Original source page 14

    Original source · math/9811037v3