Lemma 85.17.5. Let $\mathcal{C}$ be a site with equalizers and fibre products. Let $K$ be a hypercovering. Let $\mathcal{A} \subset \textit{Ab}((\mathcal{C}/K)_{total})$ denote the weak Serre subcategory of cartesian abelian sheaves. Then the functor $a^{-1}$ defines an equivalence
with quasi-inverse $Ra_*$.
Comments (0)