Coba jelasin Sifat kategoris dari Kategori grup dong

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