Definition 7.29.2. Let $\mathcal{C}$, $\mathcal{D}$ be sites. A special cocontinuous functor $u$ from $\mathcal{C}$ to $\mathcal{D}$ is a cocontinuous functor $u : \mathcal{C} \to \mathcal{D}$ satisfying the assumptions and conclusions of Lemma 7.29.1.

Comment #2041 by Ruian Chen on

Just out of curiosity, why do we emphasize cocontinuous in the name, as the functor $u$ is both cocontinuous and continuous by the assumptions of Lemma 7.28.1 anyway?

Comment #2079 by on

Just a choice and not a very good one. The idea is that these types of functors are easy to study and easy to construct as the material in this section shows. Then we'll use them later to massage any morphism of topoi into a sequence of morphisms of topoi given by these ones or their inverses and morphisms of topoi coming from morphisms of sites. Anyway, can anybody suggest a better terminology?

There are also:

• 7 comment(s) on Section 7.29: Morphisms of topoi

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