Implication Details

Claim: Given a functor whose domain is mono-regular, if it preserves regular monomorphisms, then it preserves monomorphisms.

Proof: This is trivial.