ScalingStacks

Proposition 2.87. If $\phi$ is surjective, then $\phi^{\star}$ is injective and is a closed map; if $\phi$ is finite, then $\phi^{\star}$ is surjective. ( [Ber, Proposition 3.46 (6)(7)])