Finite Monoids

sage.categories.finite_monoids.FiniteMonoids

The category of finite (multiplicative) monoids.

A finite monoid is a finite sets endowed with an associative unital binary operation \(*\).

EXAMPLES:

sage: FiniteMonoids()
Category of finite monoids
sage: FiniteMonoids().super_categories()
[Category of monoids, Category of finite semigroups]