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