An Abelian category is an abstract mathematical Category which displays some of the characteristic properties of the Category of all Abelian Groups.