Lemma 69.3.3. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. Let $F, G, H : (\mathit{Sch}/S)_{fppf}^{opp} \to \textit{Sets}$. Let $a : F \to G$, $b : G \to H$ be transformations of functors. If $a$ and $b$ are limit preserving, then

$b \circ a : F \longrightarrow H$

is limit preserving.

Proof. Let $T = \mathop{\mathrm{lim}}\nolimits _{i \in I} T_ i$ as in characterization (2) of Lemma 69.3.2. Consider the diagram of sets

$\xymatrix{ \mathop{\mathrm{colim}}\nolimits _ i F(T_ i) \ar[r] \ar[d]_ a & F(T) \ar[d]^ a \\ \mathop{\mathrm{colim}}\nolimits _ i G(T_ i) \ar[r] \ar[d]_ b & G(T) \ar[d]^ b \\ \mathop{\mathrm{colim}}\nolimits _ i H(T_ i) \ar[r] & H(T) }$

By assumption the two squares are fibre product squares. Hence the outer rectangle is a fibre product diagram too which proves the lemma. $\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).