Definition:Category of Abelian Groups

From ProofWiki
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

Also see

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Category_of_Abelian_Groups&oldid=348418"