Remark 7.25.10. Localization and presheaves. Let $\mathcal{C}$ be a category. Let $U$ be an object of $\mathcal{C}$. Strictly speaking the functors $j_ U^{-1}$, $j_{U*}$ and $j_{U!}$ have not been defined for presheaves. But of course, we can think of a presheaf as a sheaf for the chaotic topology on $\mathcal{C}$ (see Example 7.6.6). Hence we also obtain a functor

and functors

which are right, left adjoint to $j_ U^{-1}$. By Lemma 7.25.2 we see that $j_{U!}\mathcal{G}$ is the presheaf

In addition the functor $j_{U!}$ commutes with fibre products and equalizers.

## Comments (0)