Lemma 64.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$ be a representable transformation of functors. Let $b : H \to G$ be any transformation of functors. Consider the fibre product diagram

Then the base change $a'$ is a representable transformation of functors.

## Comments (1)

Comment #1790 by Matthieu Romagny on

There are also: