Category of groups

This article is about a particular category
View other particular categories

Definition

The category of groups, denoted $\operatorname {Group}$ or $\operatorname {Grp}$, is defined as follows:

• Its objects are groups.
• Its morphisms are homomorphisms of groups.
• The identity morphism is defined as the identity map.
• Composition of morphisms is defined by function composition.