Implication Details
Assumptions: continuous
Assumptions on source category: cogenerating set, complete, locally small, well-powered
Assumptions on target category: locally small
Conclusions: right adjoint
Proof: This is the Special Adjoint Functor Theorem. The proof can be found, for example, at the nLab, or in Mac Lane, Ch. V, Theorem 8.2.