What is an example of a functor $$F : \mathcal{C} \to \mathcal{D}$$ between two Grothendieck toposes which preserves colimits and finite products, but is not left exact (i.e., does not preserve pullbacks)?


I just assume that there is such an example, since otherwise the notion of an algebraic morphism between toposes would probably not include left-exactness. But I am not experienced enough in topos theory to see such an example.


My question is essentially why the forgetful strict $2$-functor from (toposes with algebraic morphisms) to (cocomplete symmetric monoidal categories with cocontinuous symmetric monoidal functors) is not fully faithful.


I already asked this on [math.SE](https://math.stackexchange.com/questions/1933897).



Cocontinuous product-preserving functor between Grothendieck toposes
For any small category $J$, the colimit functor $\mathsf{Set}^J \to \mathsf{Set}$ preserves colimits. It preserves finite limits if and only if $J$ is filtered and it preserves finite products if and only if $J$ is sifted. So we only need an example of a sifted but non-filtered category. One such example is $\Delta^{\mathrm{op}}$ in which case the colimit functor reduces to $\pi\_0 \colon \mathsf{sSet} \to \mathsf{Set}$.


