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