Implication Details

Assumptions: preserves equalizers

Assumptions on source category: mono-regular

Conclusions: preserves monomorphisms

Proof: Any monomorphism in the domain is a regular monomorphism and is mapped to a regular monomorphism.

Show 7 functors using this implication