Lemma 100.6.6. Let $f : \mathcal{X} \to \mathcal{Y}$ be a separated (resp. quasi-separated, resp. quasi-DM, resp. DM) morphism of algebraic stacks. Then

given algebraic spaces $T_ i$, $i = 1, 2$ and morphisms $x_ i : T_ i \to \mathcal{X}$, with $y_ i = f \circ x_ i$ the morphism

\[ T_1 \times _{x_1, \mathcal{X}, x_2} T_2 \longrightarrow T_1 \times _{y_1, \mathcal{Y}, y_2} T_2 \]is proper (resp. quasi-compact and quasi-separated, resp. locally quasi-finite, resp. unramified),

given an algebraic space $T$ and morphisms $x_ i : T \to \mathcal{X}$, $i = 1, 2$, with $y_ i = f \circ x_ i$ the morphism

\[ \mathit{Isom}_\mathcal {X}(x_1, x_2) \longrightarrow \mathit{Isom}_\mathcal {Y}(y_1, y_2) \]is proper (resp. quasi-compact and quasi-separated, resp. locally quasi-finite, resp. unramified).

## Comments (0)

There are also: