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)