Lemma 61.19.8. Let $X$ be a scheme. Let $\Lambda $ be a ring.

The essential image of the fully faithful functor $\epsilon ^{-1} : \textit{Mod}(X_{\acute{e}tale}, \Lambda ) \to \textit{Mod}(X_{pro\text{-}\acute{e}tale}, \Lambda )$ is a weak Serre subcategory $\mathcal{C}$.

The functor $\epsilon ^{-1}$ defines an equivalence of categories of $D^+(X_{\acute{e}tale}, \Lambda )$ with $D^+_\mathcal {C}(X_{pro\text{-}\acute{e}tale}, \Lambda )$ with quasi-inverse given by $R\epsilon _*$.

## Comments (2)

Comment #8865 by Wataru on

Comment #9221 by Stacks project on