Remark 59.17.3. In the case where $\mathcal{C}$ has a final object, e.g. $S$, it suffices to check the condition of the definition for $U = S$ in the above statement. See Modules on Sites, Lemma 18.23.3.

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