ScalingStacks

[05U7]

Proof. For any pair (D,W)(D,W) of category DD and subcategory WW, we have that we⁡(D[n]~)=W[n]\we(\widetilde{D^{[n]}})=W^{[n]}, and that nerve⁡(W[n])=(nerve⁡W)Δ⁡[n]\nerve(W^{[n]})=(\nerve W)^{\Delta[n]}. We obtain the result by substituting C[m]C^{[m]} for DD. ∎

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

Charles Rezk

Original source: arXiv:math/9811037v3

    Original source page 10

    Original source · math/9811037v3