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