Remark 100.45.2. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Let $U \to \mathcal{X}$ be a morphism whose source is an algebraic space. Let $G \to H$ be the pullback of the morphism $\mathcal{I}_\mathcal {X} \to \mathcal{X} \times _\mathcal {Y} \mathcal{I}_\mathcal {Y}$ to $U$. If $\Delta _ f$ is unramified, étale, etc, so is $G \to H$. This is true because

is cartesian and the morphism $G \to H$ is the base change of the left vertical arrow by the diagonal $U \to U \times U$. Compare with the proof of Lemma 100.6.6.

## Comments (0)