ScalingStacks

Remark 12. In this heuristic calculation, the assumption for $\phi$ to factor through the retraction map allows us to replace the hybrid space $X\sqcup X_{K}^{an}$ by its finite approximation $X\sqcup\Delta_{\mathcal{X}}$.