Lemma 100.14.8. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Let $W \to \mathcal{Y}$ be surjective, flat, and locally of finite presentation where $W$ is an algebraic space. If the base change $W \times _\mathcal {Y} \mathcal{X} \to W$ is universally injective, then $f$ is universally injective.

Proof. Observe that the diagonal $\Delta _ g$ of the morphism $g : W \times _\mathcal {Y} \mathcal{X} \to W$ is the base change of $\Delta _ f$ by $W \to \mathcal{Y}$. Hence if $\Delta _ g$ is surjective, then so is $\Delta _ f$ by Properties of Stacks, Lemma 99.3.3. Thus the lemma follows from the characterization (2) in Lemma 100.14.5. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).