I am interested in the following situation:
Suppose that $i:C \to D$ is a functor, $C$ does not necessarily have a terminal object, and for each object $c$ of $C,$ the induced functor
$$C/c \to D/i(c)$$ is full and faithful and has a left-adjoint. Probably, one should say that $C$ is locally-reflective in $D$.
Has this situation been studied? It is not necessarily important that the induced functors are full and faithful, but it is in my example (but $i$ itself is not).
In such a situation, what can we say about induced functors between the presheaf categories of $C$ and $D$?
Of course, I can work this all out for myself, but, if this has already been studied, I would like to know. Thanks!