Lemma 18.14.3. Let $f : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}_\mathcal {C}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}_\mathcal {D})$ be a morphism of ringed topoi.

1. The functor $f_*$ is left exact. In fact it commutes with all limits.

2. The functor $f^*$ is right exact. In fact it commutes with all colimits.

Proof. This is true because $(f^*, f_*)$ is an adjoint pair of functors, see Lemma 18.13.2. See Categories, Section 4.24. $\square$

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