Implication Details

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

Proof: This is trivial.

Show 9 functors using this implication