Lemma 7.13.3. In the situation of Lemma 7.13.2. The functor $u_ s : \mathcal{G} \mapsto (u_ p \mathcal{G})^\#$ is a left adjoint to $u^ s$.

Proof. Follows directly from Lemma 7.5.4 and Proposition 7.10.12. $\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).