Lemma 92.9.9. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. Let $\mathcal{X}, \mathcal{Y}, \mathcal{Z}$ be categories fibred in groupoids over $(\mathit{Sch}/S)_{fppf}$. If $f : \mathcal{X} \to \mathcal{Y}$, $g : \mathcal{Y} \to \mathcal{Z}$ are $1$-morphisms representable by algebraic spaces, then

$g \circ f : \mathcal{X} \longrightarrow \mathcal{Z}$

is a $1$-morphism representable by algebraic spaces.

Proof. This follows from Lemma 92.9.8. Details omitted. $\square$

There are also:

• 2 comment(s) on Section 92.9: Morphisms representable by algebraic spaces

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).