Lemma 100.9.4. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Let $W$ be an algebraic space and let $W \to \mathcal{Y}$ be a surjective, flat morphism which is locally of finite presentation. The following are equivalent:

$f$ is an (open, resp. closed) immersion, and

$V = W \times _\mathcal {Y} \mathcal{X}$ is an algebraic space, and $V \to W$ is an (open, resp. closed) immersion.

## Comments (2)

Comment #9036 by Pat on

Comment #9183 by Stacks project on

There are also: