Definition:Category of Groups

Definition
The category of groups, denoted $\mathbf{Grp}$, is the metacategory with:


 * objects: All groups;
 * morphisms: All group homomorphisms.

This forms a metacategory, as shown on Category of Groups is Category.