Suppose that $(C,J)$ and $(D,K)$ are two Grothendieck (possibly $\infty$-)sites and $f:C \to D$ is a functor such that $$f^*:Psh(D) \to Psh(C)$$ sends sheaves to sheaves. Under what conditions will $$f_!:Psh(C) \to Psh(D)$$ send sheaves to sheaves? Here, $f_!$ is the unique colimit preserving functor that sends each representable $y(c)$ to $y(f(c)).$ I am not looking for degenerate cases, but more for useful criteria to check to see if it holds in certain non-trivial examples.

**Note**: I am not assuming either Grothendieck topology is subcanonical, but, I am interested in this case as well.

likethis to hold, and do not know if it does. If I can prove that it holds, then I'll have some examples. I was hoping for a formal answer. – David Carchedi Jul 7 at 15:29