Lemma 54.63.6. Let $X$ be a scheme.

1. The category of finite locally constant sheaves of sets is closed under finite limits and colimits inside $\mathop{\mathit{Sh}}\nolimits (X_{\acute{e}tale})$.

2. The category of finite locally constant abelian sheaves is a weak Serre subcategory of $\textit{Ab}(X_{\acute{e}tale})$.

3. Let $\Lambda$ be a Noetherian ring. The category of finite type, locally constant sheaves of $\Lambda$-modules on $X_{\acute{e}tale}$ is a weak Serre subcategory of $\textit{Mod}(X_{\acute{e}tale}, \Lambda )$.

Proof. This holds on any site, see Modules on Sites, Lemma 18.42.5. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).