Kategori grup abelian itu apa sih?

Dalam matematika, kategori Ab memiliki grup abelian sebagai objek dan homomorfisme grup sebagai morfisme. Ini adalah prototipe dari kategori abelian: memang, setiap kecil pada kategori abelian dapat disematkan Ab.