Definition:Category of Groups

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


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

Also see

 * Category of Groups is Category