ScalingStacks

Proof. [01ER]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

By Corollary 3.2 it suffices to show that lim𝒳ev∘p𝒳=ev\lim_{\mathcal{X}}\ev\circ p_{\mathcal{X}}=\ev, which amounts to proving lim𝒳ev𝒴∘p𝒳=ev𝒴\lim_{\mathcal{X}}\ev_{\mathcal{Y}}\circ p_{\mathcal{X}}=\ev_{\mathcal{Y}} for each 𝒴\mathcal{Y}. This follows from (i) of Proposition 3.5. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.