class sage.categories.additive_monoids.AdditiveMonoids(base_category)

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.super_categories()
sage: sorted(C.axioms())
True

AdditiveCommutative
AdditiveInverse
class Homsets(category, *args)
extra_super_categories()

Implement the fact that a homset between two monoids is associative.

EXAMPLES:

sage: from sage.categories.additive_monoids import AdditiveMonoids

class ParentMethods
sum(args)

Return the sum of the elements in args, as an element of self.

INPUT:

• args – a list (or iterable) of elements of self

EXAMPLES:

sage: S = CommutativeAdditiveMonoids().example()