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]