Implication Details

Assumptions: locally copresentable, locally presentable

Conclusions: essentially small

Reason: This follows from Adamek-Rosicky, Thm. 1.64.