Definition 7.13.1. Let $\mathcal{C}$ and $\mathcal{D}$ be sites. A functor $u : \mathcal{C} \to \mathcal{D}$ is called continuous if for every $\{ V_ i \to V\} _{i\in I} \in \text{Cov}(\mathcal{C})$ we have the following

1. $\{ u(V_ i) \to u(V)\} _{i\in I}$ is in $\text{Cov}(\mathcal{D})$, and

2. for any morphism $T \to V$ in $\mathcal{C}$ the morphism $u(T \times _ V V_ i) \to u(T) \times _{u(V)} u(V_ i)$ is an isomorphism.

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