Lemma 100.9.2. Let $\mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Let $\mathcal{Z} \to \mathcal{Y}$ be a (closed, resp. open) immersion. Then $\mathcal{Z} \times _\mathcal {Y} \mathcal{X} \to \mathcal{X}$ is a (closed, resp. open) immersion.
Proof. This follows from the general discussion in Section 100.3. $\square$
Comments (0)
There are also: