Lemma 64.3.4. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. Let $F_ i, G_ i : (\mathit{Sch}/S)_{fppf}^{opp} \to \textit{Sets}$, $i = 1, 2$. Let $a_ i : F_ i \to G_ i$, $i = 1, 2$ be representable transformations of functors. Then

$a_1 \times a_2 : F_1 \times F_2 \longrightarrow G_1 \times G_2$

is a representable transformation of functors.

Proof. Write $a_1 \times a_2$ as the composition $F_1 \times F_2 \to G_1 \times F_2 \to G_1 \times G_2$. The first arrow is the base change of $a_1$ by the map $G_1 \times F_2 \to G_1$, and the second arrow is the base change of $a_2$ by the map $G_1 \times G_2 \to G_2$. Hence this lemma is a formal consequence of Lemmas 64.3.2 and 64.3.3. $\square$

There are also:

• 2 comment(s) on Section 64.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).