Lemma 101.43.1. Let f : \mathcal{X} \to \mathcal{Y} be a morphism of algebraic stacks. Assume f is of finite type and quasi-separated. Then the following are equivalent
f is proper, and
f satisfies both the uniqueness and existence parts of the valuative criterion.
Comments (0)
There are also: