Definition
Ab is the Category of Abelian groups and group homomorphisms.
Properties
- Ab is a complete and (co)complete category
- Ab is an Abelian Category
- The zero object is the trivial group
- Products and coproducts coincide (biproducts)
Related Concepts
- Group
- Grp: The category of all groups
- Category
- Abelian Category