Lemma 18.11.1. Let $\mathcal{C}$ be a site. Let $\mathcal{O}$ be a presheaf of rings on $\mathcal{C}$. Let $\mathcal{F}$ be a presheaf of $\mathcal{O}$-modules. Let $\mathcal{O}^\# $ be the sheafification of $\mathcal{O}$ as a presheaf of rings, see Sites, Section 7.44. Let $\mathcal{F}^\# $ be the sheafification of $\mathcal{F}$ as a presheaf of abelian groups. There exists a unique map of sheaves of sets
which makes the diagram
commute and which makes $\mathcal{F}^\# $ into a sheaf of $\mathcal{O}^\# $-modules. In addition, if $\mathcal{G}$ is a sheaf of $\mathcal{O}^\# $-modules, then any morphism of presheaves of $\mathcal{O}$-modules $\mathcal{F} \to \mathcal{G}$ (into the restriction of $\mathcal{G}$ to a $\mathcal{O}$-module) factors uniquely as $\mathcal{F} \to \mathcal{F}^\# \to \mathcal{G}$ where $\mathcal{F}^\# \to \mathcal{G}$ is a morphism of $\mathcal{O}^\# $-modules.
Comments (2)
Comment #3603 by David Holmes on
Comment #3715 by Johan on