Remark 62.6.6. The material in this section can be generalized to sheaves of pointed sets. Namely, for a site $\mathcal{C}$ denote $\mathop{\mathit{Sh}}\nolimits ^*(\mathcal{C})$ the category of sheaves of pointed sets. The constructions in this and the preceding section apply, mutatis mutandis, to sheaves of pointed sets. Thus given a locally quasi-finite morphism $f : X \to Y$ of schemes we obtain an adjoint pair of functors

such that for every geometric point $\overline{y}$ of $Y$ there are isomorphisms

(coproduct taken in the category of pointed sets) functorial in $\mathcal{F} \in \mathop{\mathit{Sh}}\nolimits ^*(X_{\acute{e}tale})$ and isomorphisms

functorial in the pointed set $S$. If $F : \textit{Ab}(X_{\acute{e}tale}) \to \mathop{\mathit{Sh}}\nolimits ^*(X_{\acute{e}tale})$ and $F : \textit{Ab}(Y_{\acute{e}tale}) \to \mathop{\mathit{Sh}}\nolimits ^*(Y_{\acute{e}tale})$ denote the forgetful functors, compatibility between the constructions will guarantee the existence of canonical maps

functorial in $\mathcal{F} \in \textit{Ab}(X_{\acute{e}tale})$ and

functorial in $\mathcal{G} \in \textit{Ab}(Y_{\acute{e}tale})$ which produce the obvious maps on stalks, resp. skyscraper sheaves. In fact, the transformation $F \circ f^! \to f^! \circ F$ is an isomorphism (because $f^!$ commutes with products).

## Comments (0)