Implication Details

Assumptions: Cauchy complete, finite

Conclusions: filtered colimits

Reason: See MO/509853.