# Commit 2022-07-19 03:29 45140211

View on Github →feat(algebra/category_theory/Group/epi_mono): about monomorphism and epimorphism in category of group (#14720)
This pr proves that monomorphism and injective homomorphism are the same and epimorphism and surjective homomorphism are the same in `Group`

.
For `CommGroup`

, `AddGroup`

and `AddCommGroup`

, the same is proved in #15496