Abelian category

An **Abelian category** is a type of category in the field of category theory that has particular properties making it a suitable framework for doing homological algebra. The notion was introduced by the mathematician Alexander Grothendieck in the context of algebraic geometry, but it has applications across various areas of mathematics.