Let be a cartesian category, let and be -indexed categories which are locally small and have all colimits, and suppose further that is well-copowered? and has a separating family. Then an indexed functor has an indexed right adjoint precisely iff it is cocontinuous.
This is (Johnstone, theorem B2.4.6).
Section B2.4 in