Implication Details
Claim: Given a functor whose domain is mono-regular, if it preserves preserves regular monomorphisms, then it preserves preserves monomorphisms.
Proof: This is trivial.
Claim: Given a functor whose domain is mono-regular, if it preserves preserves regular monomorphisms, then it preserves preserves monomorphisms.
Proof: This is trivial.