Lemma 99.14.7. The diagonal
\Delta : \mathcal{P}\! \mathit{olarized}\longrightarrow \mathcal{P}\! \mathit{olarized}\times \mathcal{P}\! \mathit{olarized}
is representable by algebraic spaces.
Lemma 99.14.7. The diagonal
is representable by algebraic spaces.
Proof. This is a formal consequence of Lemmas 99.14.6 and 99.13.2. See Criteria for Representability, Lemma 97.8.4. \square
Comments (2)
Comment #2321 by Matthew Emerton on
Comment #2397 by Johan on