Lemma 7.13.5. Let $u : \mathcal{C} \to \mathcal{D}$ be a continuous functor between sites. For any object $U$ of $\mathcal{C}$ we have $u_ sh_ U^\# = h_{u(U)}^\#$.

Proof. Follows from Lemmas 7.5.6 and 7.13.4. $\square$

There are also:

• 2 comment(s) on Section 7.13: Continuous functors

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