Implication details
Claim: Given a functor whose codomain is locally essentially small, and whose domain is cocomplete and has a generating collection 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.
This implication has a dual.