Lemma 7.19.4. A continuous functor of sites which has a continuous left adjoint defines a morphism of sites.

Proof. Let $u : \mathcal{C} \to \mathcal{D}$ be a continuous functor of sites. Let $w : \mathcal{D} \to \mathcal{C}$ be a continuous left adjoint. Then $u_ p = w^ p$ by Lemma 7.19.3. Hence $u_ s = w^ s$ has a left adjoint, namely $w_ s$ (Lemma 7.13.3). Thus $u_ s$ has both a right and a left adjoint, whence is exact (Categories, Lemma 4.24.6). $\square$

There are also:

• 2 comment(s) on Section 7.19: More functoriality of presheaves

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).