monos (#15108)

Commit

3 years ago

feat(algebra/category): forgetful functors from modules/abelian groups preserve epis/monos (#15108) The corresponding `reflects` statements already follow from faithfulness.

Author

TwoFX

Parents

40427f78

mathlib3 4e64a3fa - feat(algebra/category): forgetful functors from modules/abelian groups preserve epis/monos (#15108)

mathlib3
4e64a3fa - feat(algebra/category): forgetful functors from modules/abelian groups preserve epis/monos (#15108)