ScalingStacks

[05UG]

Theorem 6.2. If WW is a Segal space, then Maps​𝒮⁡(E,W)→W1\Map_{s{\operatorname{\mathcal{S}}}}(E,W)\rightarrow W_{1} factors through W{hoequiv}⊆W1W_{\hoequiv}\subseteq W_{1}, and induces a weak equivalence Maps​𝒮⁡(E,W)→W{hoequiv}\Map_{s{\operatorname{\mathcal{S}}}}(E,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 14

Original source · math/9811037v3