Implication Details

Assumptions: filtered-colimit-stable monomorphisms

Conclusions: filtered colimits

Reason: This holds by definition.