Commutative additive groups

class sage.categories.commutative_additive_groups.CommutativeAdditiveGroups(s=None)

Bases: sage.categories.category_types.AbelianCategory

The category of abelian groups, i.e. additive abelian monoids where each element has an inverse.

EXAMPLES:

sage: CommutativeAdditiveGroups()
Category of commutative additive groups
sage: CommutativeAdditiveGroups().super_categories()
[Category of commutative additive monoids]
sage: CommutativeAdditiveGroups().all_super_categories()
[Category of commutative additive groups, Category of commutative additive monoids, Category of commutative additive semigroups, Category of additive magmas, Category of sets, Category of sets with partial maps, Category of objects]

TESTS:

sage: TestSuite(CommutativeAdditiveGroups()).run()
class ElementMethods
class CommutativeAdditiveGroups.ParentMethods
CommutativeAdditiveGroups.super_categories()

EXAMPLES:

sage: CommutativeAdditiveGroups().super_categories()
[Category of commutative additive monoids]

Previous topic

Coalgebras with basis

Next topic

Commutative additive monoids

This Page