Lemma 7.22.1. Let $\mathcal{C}$ and $\mathcal{D}$ be sites. Let $u : \mathcal{C} \to \mathcal{D}$, and $v : \mathcal{D} \to \mathcal{C}$ be functors. Assume that $u$ is cocontinuous and that $v$ is a right adjoint to $u$. Let $g : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{D})$ be the morphism of topoi associated to $u$, see Lemma 7.21.1. Then

for a sheaf $\mathcal{F}$ on $\mathcal{C}$ the sheaf $g_*\mathcal{F}$ is equal to the presheaf $v^ p\mathcal{F}$, in other words, $(g_*\mathcal{F})(V) = \mathcal{F}(v(V))$, and

for a sheaf $\mathcal{G}$ on $\mathcal{D}$ we have $g^{-1}\mathcal{G} = (v_ p\mathcal{G})^\# $.

## Comments (0)

There are also: