Remark 7.14.9. (Skip on first reading.) Let $\mathcal{C}$ and $\mathcal{D}$ be sites. Analogously to Definition 7.14.1 we say that a quasi-morphism of sites $f : \mathcal{D} \to \mathcal{C}$ is given by a quasi-continuous functor $u : \mathcal{C} \to \mathcal{D}$ (see Remark 7.13.6) such that $u_ s$ is exact. The analogue of Proposition 7.14.7 in this setting is obtained by replacing the word “continuous” by the word “quasi-continuous”, and replacing the word “morphism” by “quasi-morphism”. The proof is literally the same.

Comment #179 by on

The second sentence, starting "Analogously to Definition 7.14.1..." has a rendering error:

"...a {\it quasi-morphism of sites $f\colon D\to C$} ..."

Comment #181 by on

Although latex parsing on the website will improve over time, we don't expect it to be perfect for a while yet. Please go here to report such parsing issues and any other issues with the website.

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