nLab
algebra over a monad

Contents

Contents

Idea

There are different, related ways in which one could view the notion of algebra over a monad.

Algebras over a monad are usually objects equipped with extra structure, not just properties. (They can also be seen as algebras over the underlying endofunctor, satisfying extra compatibility properties.)

Definition

Let (T,μ,η)(T,\mu,\eta) be a monad on a category CC. An algebra over TT, or TT-algebra, consists of an object AA of CC together with a morphism a:TAAa:TA\to A of CC, such that the following diagrams commute.

The diagram on the left is sometimes called the unit triangle, and the diagram on the right the multiplication square or algebra square.

The corresponding dual notion is that of a coalgebra over a comonad.

In the case of a commutative monad, one can define a tensor product of algebras.

Morphisms of algebras

Let (A,a)(A,a) and (B,b)(B,b) be TT-algebra. A morphism of TT-algebras is a morphism f:ABf:A\to B of CC which makes the following diagram commute.

The category of TT-algebras and their morphisms is called the Eilenberg-Moore category and denoted by C TC^T.

Free algebras

Given a monad (T,μ,η)(T,\mu,\eta) on a category CC, for every object XX of CC, the object TXT X is canonically equipped with a TT-algebra structure, given by the multiplication map μ\mu. The relevant diagrams commute by the monad axioms.

Algebras of this sort are called free algebras.

Given any morphism f:XYf:X\to Y of CC, the map Tf:TXTYT f:T X\to T Y is a morphism of algebras, by naturality of μ\mu. In general, not every morphism of algebras between TXT X and TYT Y arises this way.

The subcategory of free algebras and their morphisms is (equivalent to) the Kleisli category.

Examples

Many monads are named after their (free) algebras.

  • The algebras of the free monoid monad on Set are monoids, and the morphisms of algebras the monoid homomorphisms.
  • The algebras of the free commutative monoid monad on Set are commutative monoids, and their morphisms the monoid homomorphisms between them.
  • The algebras of the free group monad on Set are groups, and their morphisms are the group homomorphisms.
  • …and so on.

In these cases, the notion of free group, free monoid, et cetera coincide with the notion of free algebra given above.

Generalizations

An algebra over a monad is a special case of a module over a monad in a bicategory. See there for more information.

The Eilenberg-Moore and Kleisli categories are also special cases of more general 2-dimensional universal constructions, namely the Eilenberg-Moore object and the Kleisli object. See those pages for more information.

References

An introduction to the basic ideas, which gives some intuition for newcomers, can be found in

  • Paolo Perrone, Notes on Category Theory with examples from basic mathematics, Chapter 5. (arXiv)

See also the references of the article on monads.

Last revised on July 24, 2020 at 07:40:45. See the history of this page for a list of all contributions to it.