Monoid
A monoid is a type of category made up of three things: 1 [^2]
- A set of elements called the underlying set
- An operation called the monoid operation, which is a rule for combining two items in the underlying set to get another item in the underlying set. The monoid operation is associative.
- An identity element that, when combined
with any other element
A, gives back that same elementA.
Monoids are denoted by specifying the set and the operation enclosed in angle brackets. For example: 1
| Monoid | Description |
|---|---|
| ⟨ℤ, +⟩ | The set of integers ℤ and the addition operation. |
| ⟨ℕ, ×⟩ | The set of natural numbers ℕ and the multiplication operation. |
Types
Types of monoids:
- Commutative monoid (also known as an Abelian monoid) is a monoid with commutative monoid operations. 1
- Group is a monoid that has an underlying set for which each element can be paired with another element that, when combined together with the monoid's monoid operation, gives you the identity element. 1