Lemma 18.43.2. Let $f : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{D})$ be a morphism of topoi. If $\mathcal{G}$ is a locally constant sheaf of sets, groups, abelian groups, rings, modules over a fixed ring $\Lambda $, etc on $\mathcal{D}$, the same is true for $f^{-1}\mathcal{G}$ on $\mathcal{C}$.
Proof. Omitted. $\square$
Comments (0)