Definition 101.12.2. Let f : \mathcal{X} \to \mathcal{Y} be a morphism of algebraic stacks.
We say f is submersive1 if the continuous map |\mathcal{X}| \to |\mathcal{Y}| is submersive, see Topology, Definition 5.6.3.
We say f is universally submersive if for every morphism of algebraic stacks \mathcal{Y}' \to \mathcal{Y} the base change \mathcal{Y}' \times _\mathcal {Y} \mathcal{X} \to \mathcal{Y}' is submersive.
Comments (0)