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$.
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$
Comments (0)
There are also: