Definition 7.14.1. Let $\mathcal{C}$ and $\mathcal{D}$ be sites. A morphism of sites $f : \mathcal{D} \to \mathcal{C}$ is given by a continuous functor $u : \mathcal{C} \to \mathcal{D}$ such that the functor $u_ s$ is exact.

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