Category of abelian groups