Additive monoids

sage.categories.additive_monoids.AdditiveMonoids

The category of additive monoids.

An additive monoid is a unital additive semigroup, that is a set endowed with a binary operation \(+\) which is associative and admits a zero (see Wikipedia article Monoid).

EXAMPLES:

sage: from sage.categories.additive_monoids import AdditiveMonoids
sage: C = AdditiveMonoids(); C
Category of additive monoids
sage: C.super_categories()
[Category of additive unital additive magmas, Category of additive semigroups]
sage: sorted(C.axioms())
['AdditiveAssociative', 'AdditiveUnital']
sage: from sage.categories.additive_semigroups import AdditiveSemigroups
sage: C is AdditiveSemigroups().AdditiveUnital()
True