Lemma 80.11.4. Let $S$ be a scheme. Let $a : F \to G$ and $b : G \to H$ be transformations of functors $(\mathit{Sch}/S)_{fppf}^{opp} \to \textit{Sets}$. Assume

1. $F, G, H$ are sheaves,

2. $a : F \to G$ is representable by algebraic spaces, flat, locally of finite presentation, and surjective, and

3. $b \circ a : F \to H$ is representable by algebraic spaces.

Then $b$ is representable by algebraic spaces.

Proof. Let $U$ be a scheme over $S$ and let $\xi \in H(U)$. We have to show that $U \times _{\xi , H} G$ is an algebraic space. On the other hand, we know that $U \times _{\xi , H} F$ is an algebraic space and that $U \times _{\xi , H} F \to U \times _{\xi , H} G$ is representable by algebraic spaces, flat, locally of finite presentation, and surjective as a base change of the morphism $a$ (see Lemma 80.4.2). Thus the result follows from Theorem 80.10.1. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).