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