Lemma 7.44.2. Suppose the functor $u : \mathcal{C} \to \mathcal{D}$ satisfies the hypotheses of Proposition 7.14.7, and hence gives rise to a morphism of sites $f : \mathcal{D} \to \mathcal{C}$. In this case the pullback functor $f^{-1}$ (resp. $u_ p$) and the pushforward functor $f_*$ (resp. $u^ p$) extend to an adjoint pair of functors on the categories of sheaves (resp. presheaves) of algebraic structures. Moreover, these functors commute with taking the underlying sheaf (resp. presheaf) of sets.
Proof. We have defined $f_* = u^ p$ above. In the course of the proof of Proposition 7.14.7 we saw that all the colimits used to define $u_ p$ are filtered under the assumptions of the proposition. Hence we conclude from the definition of a type of algebraic structure that we may define $u_ p$ by exactly the same colimits as a functor on presheaves of algebraic structures. Adjointness of $u_ p$ and $u^ p$ is proved in exactly the same way as the proof of Lemma 7.5.4. The discussion of sheafification of presheaves of algebraic structures above then implies that we may define $f^{-1}(\mathcal{F}) = (u_ p\mathcal{F})^\# $. $\square$
Post a comment
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)