Lemma 101.10.2. Let \mathcal{X} \to \mathcal{Y} be a morphism of algebraic stacks. Let \mathcal{Z} \to \mathcal{Y} be an integral (or finite) morphism of algebraic stacks. Then \mathcal{Z} \times _\mathcal {Y} \mathcal{X} \to \mathcal{X} is an integral (or finite) morphism of algebraic stacks.
Proof. This follows from the discussion in Properties of Stacks, Section 100.3. \square
Comments (0)