Theorem 4.16 (Special Adjoint Functor Theorem). Assuming that:

Then G:D→C has a left adjoint if and only if it preserves all small limits.