Lemma 63.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

$b \circ a : F \longrightarrow H$

is a representable transformation of functors.

Proof. This is entirely formal and works in any category. $\square$

There are also:

• 2 comment(s) on Section 63.3: Representable morphisms of presheaves

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