Definition:Category of Groups
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
- Category of Groups is Category
- Results about the category of groups can be found here.
- Definition:Category of Abelian Groups