Lemma 65.5.7 (02WM)—The Stacks project

Processing math: 100%

Table of contents
Part 4: Algebraic Spaces
Chapter 65: Algebraic Spaces
Section 65.5: Properties of representable morphisms of presheaves
Lemma 65.5.7 (cite)

previous lemma
next lemma

numberstags

history
statistics
4 tags refer to this tag

Lemma 65.5.7. 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. Let $\mathcal{P}$ be a property as in Definition 65.5.1 which is stable under composition. If $a_1$ and $a_2$ have property $\mathcal{P}$ so does $a_1 \times a_2 : F_1 \times F_2 \longrightarrow G_1 \times G_2$ .

Proof. Note that the lemma makes sense by Lemma 65.3.4. Proof omitted. $\square$

Comments (0)

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

Comments (0)

Post a comment