Coba jelasin Kategori grup dari Kehomomorfan grup dong

Jika  dan  adalah kehomomorfan grup, maka . Hal ini menunjukkan bahwa kelas dari semua grup, bersama dengan kehomomorfan grup sebagai morfisme, membentuk suatu kategori.