### Navigation

- index
- modules |
- next |
- previous |
- Category Theory »

# Commutative additive monoids

class `sage.categories.commutative_additive_monoids.``CommutativeAdditiveMonoids`(base_category)

  Bases: `sage.categories.category_with_axiom.CategoryWithAxiom_singleton`

  The category of commutative additive monoids, that is abelian additive semigroups with a unit

  EXAMPLES:

      sage: C = CommutativeAdditiveMonoids(); C
      Category of commutative additive monoids
      sage: C.super_categories()
      [Category of additive monoids, Category of commutative additive semigroups]
      sage: sorted(C.axioms())
      ['AdditiveAssociative', 'AdditiveCommutative', 'AdditiveUnital']
      sage: C is AdditiveMagmas().AdditiveAssociative().AdditiveCommutative().AdditiveUnital()
      True

  Note

  This category is currently empty and only serves as a place holder to make `C.example()` work.

  TESTS:

      sage: TestSuite(CommutativeAdditiveMonoids()).run()

### Navigation

- index
- modules |
- next |
- previous |
- Category Theory »