Semi-abelian category

A **semi-abelian category** is a type of category that generalizes certain concepts from abelian categories while relaxing some of their requirements. Concepts from homological algebra and category theory often find applications in semi-abelian categories, especially in settings where one wants to retain some structural properties without having a full abelian structure.