Lemma 72.7.9. Let $S$ be a scheme. Given morphisms $f : X \to Y$, $g : Y \to Z$ of algebraic spaces over $S$ we have $g_{big} \circ f_{big} = (g \circ f)_{big}$.

Proof. This follows from the simple description of pushforward and pullback for the functors on the big sites from Lemma 72.7.8. $\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).