Lemma 100.3.2. Let $P$ be a property of morphisms of algebraic spaces as above. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks representable by algebraic spaces. The following are equivalent:
$f$ has $P$,
for every algebraic space $Z$ and morphism $Z \to \mathcal{Y}$ the morphism $Z \times _\mathcal {Y} \mathcal{X} \to Z$ has $P$.
Comments (0)