Monoidal monad

Monoidal monad

In category theory, a monoidal monad (T,η,μ,m) is a monad (T,η,μ) on a monoidal category (C,\otimes,I) such that the functor

T:(C,\otimes,I)\to(C,\otimes,I)

is a lax monoidal functor with

m_{A,B}:TA\otimes TB\to T(A\otimes B)

and

m:I\to TI

as coherence maps, and the natural transformations

\eta: id \Rightarrow T

and

\mu:T^2\Rightarrow T

are monoidal natural transformations.

By monoidality of η, the morphisms m and ηI 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.

Properties

The Kleisli category of a monoidal monad has a canonical monoidal structure, induced by the monoidal structure of the monad. The canonical adjunction between C and the Kleisli category is a monoidal adjunction with respect to this monoidal structure.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Monad — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Pour le mot anglais Monad, voir Monade Monad est aussi le nom de code de Windows PowerShell Articles connexes (en) Monad (Gn …   Wikipédia en Français

  • Monoidal adjunction — Suppose that and are two monoidal categories. A monoidal adjunction between two lax monoidal functors and is an adjunction (F,G,η,ε) between the underlying functors, such that the natural transformations …   Wikipedia

  • Monoidal category — In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor ⊗ : C × C → C which is associative, up to a natural isomorphism, and an object I which is both a left and right identity for ⊗, again up to a… …   Wikipedia

  • Monad (category theory) — For the uses of monads in computer software, see monads in functional programming. In category theory, a branch of mathematics, a monad, Kleisli triple, or triple is an (endo )functor, together with two natural transformations. Monads are used in …   Wikipedia

  • Strong monad — In category theory, a strong monad over a monoidal category is a monad (T,η,μ) together with a natural transformation , called (tensorial) strength, such that the diagrams …   Wikipedia

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • Monoid (category theory) — In category theory, a monoid (or monoid object) (M,μ,η) in a monoidal category is an object M together with two morphisms called multiplication, and called unit, such that the diagrams and …   Wikipedia

  • Outline of category theory — The following outline is provided as an overview of and guide to category theory: Category theory – area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as… …   Wikipedia

  • Distributive law between monads — In category theory, an abstract branch of mathematics, distributive laws between monads are a way to express abstractly that two algebraic structures distribute one over the other one. Suppose that (S,μS,ηS) and (T,μT,ηT) are two monads on a… …   Wikipedia

  • List of category theory topics — This is a list of category theory topics, by Wikipedia page. Specific categories *Category of sets **Concrete category *Category of vector spaces **Category of graded vector spaces *Category of finite dimensional Hilbert spaces *Category of sets… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”