The Stacks project

Lemma 85.16.2. With assumption and notation as in Lemma 85.16.1 we have the following properties:

1. there is a functor $a^{Sh}_! : \mathop{\mathit{Sh}}\nolimits ((\mathcal{C}/K)_{total}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ left adjoint to $a^{-1} : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}) \to \mathop{\mathit{Sh}}\nolimits ((\mathcal{C}/K)_{total})$,

2. there is a functor $a_! : \textit{Ab}((\mathcal{C}/K)_{total}) \to \textit{Ab}(\mathcal{C})$ left adjoint to $a^{-1} : \textit{Ab}(\mathcal{C}) \to \textit{Ab}((\mathcal{C}/K)_{total})$,

3. the functor $a^{-1}$ associates to $\mathcal{F}$ in $\mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ the sheaf on $(\mathcal{C}/K)_{total}$ which in degree $n$ is equal to $a_ n^{-1}\mathcal{F}$,

4. the functor $a_*$ associates to $\mathcal{G}$ in $\textit{Ab}((\mathcal{C}/K)_{total})$ the equalizer of the two maps $j_{0, *}\mathcal{G}_0 \to j_{1, *}\mathcal{G}_1$,