Implication Details

Assumptions: filtered colimits, left cancellative

Conclusions: filtered-colimit-stable monomorphisms

Reason: This is trivial.