In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have nice properties. The motivating prototype example of an abelian category is the category of abelian groups, Ab.