\begin{definition}[Definition:Category of Abelian Groups]
The '''category of abelian groups''' is the category $\mathbf{Ab}$ with:
{{DefineCategory
|ob = abelian groups
|mor = group homomorphisms
|id = identity mappings
|comp = composition of mappings
}}
\end{definition}