Jabarkan Kategori Abel dari Aljabar homologis

Dalam matematika, kategori Abel adalah kategori di mana morfisme dan objek dapat ditambahkan dan di mana kernel dan cokernel ada dan memiliki sifat yang diinginkan. Contoh prototipe yang memotivasi dari kategori abelian adalah kategori grup abelian, Ab. Teori ini berasal dari upaya tentatif untuk menyatukan beberapa teori kohomologi oleh Alexander Grothendieck.