Definition:Category of Abelian Groups

Definition
The category of abelian groups is the category with:

Also see

 * Definition:Category of Groups