Implication Details
Claim: Given a functor whose codomain is locally essentially small, and whose domain is cocomplete and has a generating set and is locally essentially small and is well-copowered, if it is cocontinuous, then it is a left adjoint.
Proof: This follows from the dual implication.