CommutativeAdditiveGroups

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(*args, **kwds)

EXAMPLES:

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