Monoidal monad

In category theory, a monoidal monad is a monad on a monoidal category such that the functor

is a lax monoidal functor and the natural transformations are monoidal natural transformations. In other words, is equipped with coherence maps

and

satisfying certain properties, and its structure maps

and

must be monoidal with respect to . By monoidality of , the morphisms and are necessarily equal.

This is equivalent to saying that a monoidal monad is a monad in the 2-category MonCat of monoidal categories, monoidal functors, and monoidal natural transformations.

Hopf monads and bimonads

Ieke Moerdijk introduced the notion of a Hopf monad,[1] which is an opmonoidal monad, that is, a monad with coherence morphisms and and opmonoidal natural transformations as multiplication and left/right units.

An easy example for the category of vector spaces is the monad , where is a bialgebra.[2] The multiplication in then defines the multiplication of the monad, while the comultiplication gives rise to the opmonoidal structure. The algebras of this monad are just right -modules.

In works of Bruguières and Virelizier, this concept has been renamed bimonad,[2] by analogy to "bialgebra". They reserve the term "Hopf monad" for bimonads with an antipode, in analogy to "Hopf algebras".

Properties

Examples

The following monads on the category of sets, with its cartesian monoidal structure, are monoidal monads:

The following monads on the category of sets, with its cartesian monoidal structure, are not monoidal monads

References

  1. 1 2 Moerdijk, Ieke (23 March 2002). "Monads on tensor categories". Journal of Pure and Applied Algebra. 168 (2–3): 189–208. doi:10.1016/S0022-4049(01)00096-2. Retrieved 23 May 2014.
  2. 1 2 Bruguières, Alain; Alexis Virelizier (10 November 2007). "Hopf monads". Advances in Mathematics. 215 (2): 679–733. doi:10.1016/j.aim.2007.04.011. Retrieved 23 May 2014.
This article is issued from Wikipedia - version of the 5/10/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.