ScalingStacks

Proof. [02TA]

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.

Since we are assuming that Σ\Sigma is complete, the space NΣ≃XΣ​(ℝ≥0)N_{\Sigma}\simeq X_{\Sigma}(\mathbb{R}_{\geq 0}) is compact. Thus the corollary follows from Proposition 5.16. ∎

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