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