Recall definition of u_p

Thanks to Laurent Moret-Bailly https://stacks.math.columbia.edu/tag/00WU#comment-3520
stacks · Oct 22, 2018 · 9966e4f · 9966e4f
1 parent 5e63211
commit 9966e4f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/sites.tex b/sites.tex
@@ -2433,6 +2433,9 @@ \section{Continuous functors}
 \Sh(\mathcal{C})
 $$
 the functor $u^p$ restricted to the subcategory of sheaves of sets.
+Recall that $u^p$ has a left adjoint
+$u_p : \textit{PSh}(\mathcal{C}) \to \textit{PSh}(\mathcal{D})$, see
+Section \ref{section-functoriality-PSh}.
 
 \begin{lemma}
 \label{lemma-adjoint-sheaves}