 Special adjoint functor theorem

The colimit form of the Special adjoint functor theorem says that a colimit-preserving functor from a locally small, cocomplete, well-copowered category with a small generating family to a locally small category has a right adjoint.