Implication Details

Assumptions: locally poly-presentable

Conclusions: accessible, wide pullbacks

This is an equivalence.

Reason: This holds by definition.