Implication Details

Assumptions: finitely accessible

Conclusions: filtered colimits

Reason: This holds by definition.