Lemma 64.3.2. 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 representable transformations of functors. Then

is a representable transformation of functors.

## Comments (0)

There are also: