Implication Details

Claim: If a category has filtered colimits and is left cancellative, then it has filtered-colimit-stable monomorphisms.

Proof: This is trivial.

This implication has a dual.