Definition:Category of Groups

From ProofWiki
Jump to navigation Jump to search

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