Implication Details

Assumptions: locally presentable

Conclusions: accessible, cocomplete

This is an equivalence.

Reason: This follows from one of equivalent formulations of locally presentable categories.