# Definition:Category of Groups

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