Internalization

Monoid object

Let be a monoidal category. A monoid in consists of the data cat

where is called the unit and is called the multiplication, and these satisfy the left/right unit laws, and the associative law. Moreover, if we are in a Symmetric monoidal category with braiding , then is called commutative iff it satisfies the commutative law.

Commutative diagrams

Unit laws:

Associative law:

Commutative law:

String diagrams

Unitality:

Associativity:

Commutativity:

We can thence define a Homomorphism of monoid objects and Category of monoid objects. These concepts admit duals, see Comonoid object. See also the weakening of Semigroup object.

Properties

• As in the traditional case, there exists at most one unit compatible with the multiplication .

Examples

• A monoid in Category of sets with the cartesian product is a regulat monoid.
• A monoid in Category of abelian groups is a ring.
• More generally, for a commutative ring , a monoid in Category of left modules is an R-monoid.
• A monoid in an Endofunctor category is a Monad.

---

develop | en | sembr