Lemma 80.4.3. Let S be a scheme. Let \mathcal{P} be a property as in Definition 80.4.1, and assume \mathcal{P} is stable under composition. Let
\xymatrix{ F \ar[r]^ a & G \ar[r]^ b & H }
be maps of presheaves on (\mathit{Sch}/S)_{fppf}. If a, b are representable by algebraic spaces and has \mathcal{P} so does b \circ a.
Comments (0)