Definition:Category of Abelian Groups

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

Also see

 * Definition:Category of Groups