Lemma 18.12.2. Let $\mathcal{C}$, $\mathcal{D}$ be sites. Let $f : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{D})$ be a morphism of topoi. Let $\mathcal{O}$ be a sheaf of rings on $\mathcal{D}$. Let $\mathcal{G}$ be a sheaf of $\mathcal{O}$-modules. There is a natural map of sheaves of sets
which turns $f^{-1}\mathcal{G}$ into a sheaf of $f^{-1}\mathcal{O}$-modules. This construction is functorial in $\mathcal{G}$.
Comments (0)