ScalingStacks

[05VN]

Proof of (6.2) from (11.1). Since EE is the colimit of the E(n)E^{(n)} along a sequence of cofibrations, it follows by (11.1) that Maps​𝒮⁡(E,W)\Map_{s{\operatorname{\mathcal{S}}}}(E,W) is the inverse limit of the Maps​𝒮⁡(E(n),W)\Map_{s{\operatorname{\mathcal{S}}}}(E^{(n)},W) along a tower of trivial fibrations. The proposition follows. ∎

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

Charles Rezk

Original source: arXiv:math/9811037v3

    Original source page 24

    Original source · math/9811037v3