Lemma 98.13.6. Let $S$ be a locally Noetherian scheme. Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphisms of categories fibred in groupoids over $(\mathit{Sch}/S)_{fppf}$. If $f$ is formally smooth on objects, then $f$ satisfies (98.13.2.1). If $f$ is representable by algebraic spaces and smooth, then $f$ satisfies (98.13.2.1).
Proof. A reformulation of Lemma 98.3.2. $\square$
Comments (0)