From Wikipedia, the free encyclopedia
|This article does not cite any references or sources. (March 2009)|
Lifting adjunctions to monoidal adjunctions
is a lax monoidal functor such that the underlying functor has a right adjoint . This adjuction lifts to a monoidal adjuction ⊣ if and only if the lax monoidal functor is strong.
- Every monoidal adjunction ⊣ defines a monoidal monad .