ScalingStacks

[05VM]

Proposition 11.1. If WW is a Segal space and n≥3n\geq 3, the map Maps​𝒮⁡(E(n),W)→W1\Map_{s{\operatorname{\mathcal{S}}}}(E^{(n)},W)\rightarrow W_{1} factors through the subspace W{hoequiv}⊆W1W_{\hoequiv}\subseteq W_{1}, and induces a weak equivalence Maps​𝒮⁡(E(n),W)→W{hoequiv}\Map_{s{\operatorname{\mathcal{S}}}}(E^{(n)},W)\rightarrow W_{\hoequiv}.

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