# Definition:Category of Groups

## Definition

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

Objects: | groups | |

Morphisms: | group homomorphisms | |

Composition: | composition of mappings | |

Identity morphisms: | identity mappings |

## Also see

- Category of Groups is Category
- Results about
**the category of groups**can be found here. - Definition:Category of Abelian Groups