In category theory, a monoidal monad
(
T
,
η
,
μ
,
T
A
,
B
,
T
0
)
is a monad
(
T
,
η
,
μ
)
on a monoidal category
(
C
,
⊗
,
I
)
such that the functor
T
:
(
C
,
⊗
,
I
)
→
(
C
,
⊗
,
I
)
is a lax monoidal functor and the natural transformations
η
and
μ
are monoidal natural transformations. In other words,
T
is equipped with coherence maps
T
A
,
B
:
T
A
⊗
T
B
→
T
(
A
⊗
B
)
and
T
0
:
I
→
T
I
satisfying certain properties, and the unit
η
:
i
d
⇒
T
and multiplication
μ
:
T
2
⇒
T
are monoidal natural transformations. By monoidality of
η
, the morphisms
T
0
and
η
I
are necessarily equal. This is equivalent to say that a monoidal monad is a monad in the 2-category MonCat of monoidal categories, monoidal functors, and monoidal natural transformations.
Opmonoidal monads have been studied under various names; Ieke Moerdijk introduced them as Hopf Monads, in works of Bruguières and Virelizier they are called bimonads, by analogy to "bialgebra", reserving the term "Hopf monad" for opmonoidal monads with an antipode, in analogy to "Hopf algebras".
An opmonoidal monad is a monad
(
T
,
η
,
μ
)
in the 2-category
O
p
m
o
n
C
a
t
of monoidal categories, opmonoidal functors and opmonoidal natural transformations. That means a monad
(
T
,
η
,
μ
)
on a monoidal category
(
C
,
⊗
,
I
)
together with coherence maps
T
A
,
B
:
T
(
A
⊗
B
)
→
T
A
⊗
T
B
and
T
0
:
T
I
→
I
satisfying three axioms that make an opmonoidal functor, and four more axioms that make the unit
η
and the multiplication
μ
into opmonoidal natural transformations. Alternatively, an opmonoidal monad is a monad on a monoidal category such that the category of Eilenberg-Moore algebras has a monoidal structure for which the forgetful functor is strong monoidal.
An easy example for the monoidal category
Vect
of vector spaces is the monad
−
⊗
A
, where
A
is a bialgebra. The multiplication and unit of
A
define the multiplication and unit of the monad, while the comultiplication and counit of
A
give rise to the opmonoidal structure. The algebras of this monad are right
A
-modules, which one may tensor in the same way as their underlying vector spaces.
The category of Kleisli algebras of a monoidal monad has a canonical monoidal structure, induced by the monoidal structure of the monad, and such that the free functor is strong monoidal. The canonical adjunction between
C
and the Kleisli category is a monoidal adjunction with respect to this monoidal structure, this means that the 2-category
M
o
n
C
a
t
has Kleisli objects for monads.
The 2-category of monads in
M
o
n
C
a
t
is the 2-category of monoidal monads
M
n
d
(
M
o
n
C
a
t
)
and it is isomorphic to the 2-category
M
o
n
(
M
n
d
(
C
a
t
)
)
of monoidales (or pseudomonoids) in the category of monads
M
n
d
(
C
a
t
)
, (lax) monoidal arrows between them and monoidal cells between them.
The category of Eilenberg-Moore algebras for an opmonoidal monad has a canonical monoidal structure such that the forgetful functor is strong monoidal. This means that the 2-category
O
p
m
o
n
C
a
t
has Eilenberg-Moore objects for monads.
The 2-category of monads in
O
p
m
o
n
C
a
t
is the 2-category of monoidal monads
M
n
d
(
O
p
m
o
n
C
a
t
)
and it is isomorphic to the 2-category
O
p
m
o
n
(
M
n
d
(
C
a
t
)
)
of monoidales (or pseudomonoids) in the category of monads
M
n
d
(
C
a
t
)
opmonoidal arrows between them and opmonoidal cells between them.
The following monads on the category of sets, with its cartesian monoidal structure, are monoidal monads:
The power set monad.
The probability distributions (Giry) monad.
The following monads on the category of sets, with its cartesian monoidal structure, are not monoidal monads
If
M
is a monoid, then
X
↦
X
×
M
is a monad, but in general there is no reason to expect a monoidal structure on it (unless
M
is commutative).
