Lemma 65.5.8. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. Let $F, G : (\mathit{Sch}/S)_{fppf}^{opp} \to \textit{Sets}$. Let $a : F \to G$ be a representable transformation of functors. Let $\mathcal{P}$, $\mathcal{P}'$ be properties as in Definition 65.5.1. Suppose that for any morphism of schemes $f : X \to Y$ we have $\mathcal{P}(f) \Rightarrow \mathcal{P}'(f)$. If $a$ has property $\mathcal{P}$ then $a$ has property $\mathcal{P}'$.
Proof. Formal. $\square$
Comments (0)