Implication Details

Assumptions: preserves monomorphisms

Requirements of the target: mono-regular

Conclusions: preserves regular monomorphisms

Proof: This is trivial.

Show 5 functors using this implication