Definition:Category of Groups

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

Also see

 * Category of Groups is Category


 * Definition:Category of Abelian Groups