Definition:Category of Abelian Groups
Jump to navigation
Jump to search
Definition
The category of abelian groups is the category $\mathbf{Ab}$ with:
Objects: | abelian groups | |
Morphisms: | group homomorphisms | |
Composition: | composition of mappings | |
Identity morphisms: | identity mappings |