Implication Details

Assumptions: directed colimits

Conclusions: filtered colimits

This is an equivalence.

Reason: This is Theorem 1.5. in Adamek-Rosicky.