Lemma 7.14.6. Let $\mathcal{C}$ and $\mathcal{D}$ be sites. Let $u : \mathcal{C} \to \mathcal{D}$ be continuous. Assume all the categories $(\mathcal{I}_ V^ u)^{opp}$ of Section 7.5 are filtered. Then $u$ defines a morphism of sites $\mathcal{D} \to \mathcal{C}$, in other words $u_ s$ is exact.

Proof. Since $u_ s$ is the left adjoint of $u^ s$ we see that $u_ s$ is right exact, see Categories, Lemma 4.24.6. Hence it suffices to show that $u_ s$ is left exact. In other words we have to show that $u_ s$ commutes with finite limits. Because the categories $\mathcal{I}_ Y^{opp}$ are filtered we see that $u_ p$ commutes with finite limits, see Categories, Lemma 4.19.2 (this also uses the description of limits in $\textit{PSh}$, see Section 7.4). And since sheafification commutes with finite limits as well (Lemma 7.10.14) we conclude because $u_ s = \# \circ u_ p$. $\square$

There are also:

• 1 comment(s) on Section 7.14: Morphisms of sites

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