Remark 101.16.5. Let \mathcal{P}, \mathcal{P}' be properties of morphisms of algebraic spaces which are smooth local on the source-and-target. Suppose that we have \mathcal{P} \Rightarrow \mathcal{P}' for morphisms of algebraic spaces. Then we also have \mathcal{P} \Rightarrow \mathcal{P}' for the properties of morphisms of algebraic stacks defined in Definition 101.16.2 using \mathcal{P} and \mathcal{P}'. This is clear from the definition.
Comments (0)