Abstract algebra MOC

Monoid

A monoid is a Semigroup with an identity element. #m/def/general In general elements needn't have an inverse.

2. Associative for each
3. Identity there exists (provably unique) such that for all

A monoid may be generalized to a category, which can be thought of as a typed monoid. See also Monoid object.

#state/develop | #lang/en | #SemBr