Saya mau tau Sifat kategoris dari Kategori grup

Monomorfisme dalam Grp tepatnya adalah homomorfisme injektif, epimorfisme tepatnya adalah homomorfisme perkiraan, dan isomorfisme tepatnya adalah homomorfisme bijektif.