Implication Details

Assumptions: preserves monomorphisms

Assumptions on target category: mono-regular

Conclusions: preserves regular monomorphisms

Proof: This is trivial.

Show 5 functors using this implication