1 parent 4b0b206 commit fce31edCopy full SHA for fce31ed
1 file changed
topologies.tex
@@ -345,7 +345,7 @@ \section{The Zariski topology}
345
$U'/S \in \Ob(S_{Zar})$ with $\Im(U' \to S) = U$
346
(here you have to use Sets, Lemma \ref{sets-lemma-what-is-in-it}).
347
Given a sheaf $\mathcal{G}$ on $S_{Zar}$ we define a sheaf on $S$ by setting
348
-$\mathcal{G}(U) = \mathcal{G}(U'/S)$. To see that $\mathcal{G}'$ is
+$\mathcal{G}'(U) = \mathcal{G}(U'/S)$. To see that $\mathcal{G}'$ is
349
a sheaf we use that for any open covering $U = \bigcup_{i \in I} U_i$
350
the covering $\{U_i \to U\}_{i \in I}$
351
is combinatorially equivalent to a covering $\{U_j' \to U'\}_{j \in J}$
0 commit comments