Lemma 79.3.9. Let $S$ be a scheme. 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 by algebraic spaces. Then

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

is a representable by algebraic spaces.

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 79.3.8 and 79.3.3. $\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).