Implication Details

Assumptions: preserves regular monomorphisms

Requirements of the source: mono-regular

Conclusions: preserves monomorphisms

Proof: This is trivial.

Show 5 functors using this implication