Jabarkan Kategori grup dari Kehomomorfan grup

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