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)