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