Lemma 32.3.1. Let $S$ be a scheme. Let $I$ be a set and for each $i \in I$ let $f_ i : T_ i \to S$ be an affine morphism. Then the product $T = \prod T_ i$ exists in the category of schemes over $S$. In fact, we have
and the projection morphisms $T \to T_{i_1} \times _ S \ldots \times _ S T_{i_ n}$ are affine.
Comments (1)
Comment #3022 by Brian Lawrence on