ScalingStacks

Corollary 11.5. If $f\in\map(x,y)$ is a homotopy equivalence (in the sense of (5.5)) then $f_{*}$ and $f^{*}$ are weak equivalences of spaces.