Definition:Category of Groups

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

Also see

 * Category of Groups is Category