Implication Details

Assumptions: complete, essentially small, thin

Conclusions: cocomplete

Reason: The supremum of a subset in a (small) proset is the infimum of the set of upper bounds.