Let $\mathcal{C}$ be a small finitely complete category equipped with a Grothendieck (pre)topology $\tau$. For $\ast$ the terminal category (one object, one morphism), denote by $i: \ast \to \mathcal{C}$ the inclusion of the terminal object into $\mathcal{C}$. Equip $\ast$ with the trivial topology in which the only covering is the identity morphism of the unique object onto itself.

By the usual yoga of functoriality of presheaves, $i$ induces a triple of adjoint functors $i_! \dashv i^\ast \dashv i_\ast$ between the categories of presheaves on $\mathcal{C}$ and $\ast$. Trivially $i$ preserves coverings and is left exact —that is, it furnishes a morphism of sites. Then $i^\ast$ takes sheaves to sheaves and so the pair $i_! \dashv i^\ast$ descends to an adjoint pair, $a i_! \dashv i^*$ ($a$ denoting sheafification), of functors between the appropriate categories of sheaves, which is in fact nothing but the geometric morphism of global sections of $\mathrm{Sh}(\mathcal{C}, \tau)$ consisting of the global sections functor $\Gamma: \mathsf{Sh}(\mathcal{C}, \tau) \to \mathsf{Set}$ and its left adjoint, $\mathrm{const}: \mathsf{Set} \to \mathsf{Sh}(\mathcal{C}, \tau)$, taking a set $A$ to the locally constant sheaf on $A$.

It seems to me that $i$ is also a cocontinuous functor (in the terminology of SGA4 or the Stacks Project, section 19; other texts, such as MacLane-Moerdijk [VII.10.Theorem 5] call it a functor having the covering lifting property), making the above geometric morphism of global sections into a local geometric morphism. The latter means that $i_\ast$ takes sheaves to sheaves (Stacks Project, Lemma 19.2), so that there is a triple of adjoint functors $a i_! \dashv i^\ast \dashv i_\ast$ between the categories of sheaves on $(\mathcal{C}, \tau)$ and $\ast$. However, an explicit calculation (see Stacks Project, section 18) of $i_\ast$ yields that $i_\ast(A)$ is the constant presheaf on $A$, which is not in general a sheaf.

I am clearly missing something, but I cannot fathom what it is. Can anybody?