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