Lemma 7.20.4. In the situation of Lemma 7.20.3. For any presheaf $\mathcal{G}$ on $\mathcal{D}$ we have $(u^ p\mathcal{G})^\# = (u^ p(\mathcal{G}^\# ))^\# $.
Proof. For any sheaf $\mathcal{F}$ on $\mathcal{C}$ we have
\begin{eqnarray*} \mathop{\mathrm{Mor}}\nolimits _{\mathop{\mathit{Sh}}\nolimits (\mathcal{C})}((u^ p(\mathcal{G}^\# ))^\# , \mathcal{F}) & = & \mathop{\mathrm{Mor}}\nolimits _{\mathop{\mathit{Sh}}\nolimits (\mathcal{D})}(\mathcal{G}^\# , {}_ su\mathcal{F}) \\ & = & \mathop{\mathrm{Mor}}\nolimits _{\mathop{\mathit{Sh}}\nolimits (\mathcal{D})}(\mathcal{G}^\# , {}_ pu\mathcal{F}) \\ & = & \mathop{\mathrm{Mor}}\nolimits _{\textit{PSh}(\mathcal{D})}(\mathcal{G}, {}_ pu\mathcal{F}) \\ & = & \mathop{\mathrm{Mor}}\nolimits _{\textit{PSh}(\mathcal{C})}(u^ p\mathcal{G}, \mathcal{F}) \\ & = & \mathop{\mathrm{Mor}}\nolimits _{\mathop{\mathit{Sh}}\nolimits (\mathcal{C})}((u^ p\mathcal{G})^\# , \mathcal{F}) \end{eqnarray*}
and the result follows from the Yoneda lemma. $\square$
Comments (0)
There are also: