Implication Details

Assumptions: locally finitely presentable

Conclusions: exact filtered colimits

Reason: Special case of Adamek-Rosicky, Prop. 1.59 with λ=ℵ0\lambda = \aleph_0.