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

$j_ U^{-1} : \textit{PSh}(\mathcal{C}) \longrightarrow \textit{PSh}(\mathcal{C}/U)$

and functors

$j_{U*}, j_{U!} : \textit{PSh}(\mathcal{C}/U) \longrightarrow \textit{PSh}(\mathcal{C})$

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

$V \longmapsto \coprod \nolimits _{\varphi \in \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(V, U)} \mathcal{G}(V \xrightarrow {\varphi } U)$

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

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).