# Definition:Category of Abelian Groups

The category of abelian groups is the category $\mathbf{Ab}$ with: