Lemma 100.4.15. A monomorphism of algebraic stacks is separated and DM. The same is true for immersions of algebraic stacks.

Proof. If $f : \mathcal{X} \to \mathcal{Y}$ is a monomorphism of algebraic stacks, then $\Delta _ f$ is an isomorphism, see Properties of Stacks, Lemma 99.8.4. Since an isomorphism of algebraic spaces is proper and unramified we see that $f$ is separated and DM. The second assertion follows from the first as an immersion is a monomorphism, see Properties of Stacks, Lemma 99.9.5. $\square$

There are also:

• 2 comment(s) on Section 100.4: Separation axioms

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).