Commutative Strong Monads
For every strong monad T on a symmetric monoidal category, a costrength natural transformation can be defined by
- .
A strong monad T is said to be commutative when the diagram
commutes for all objects and .
One interesting fact about commutative strong monads is that they are "the same as" symmetric monoidal monads. More explicitly,
- a commutative strong monad defines a symmetric monoidal monad by
- and conversely a symmetric monoidal monad defines a commutative strong monad by
and the conversion between one and the other presentation is bijective.
Read more about this topic: Strong Monad
Famous quotes containing the word strong:
“The Federal Constitution has stood the test of more than a hundred years in supplying the powers that have been needed to make the Central Government as strong as it ought to be, and with this movement toward uniform legislation and agreements between the States I do not see why the Constitution may not serve our people always.”
—William Howard Taft (1857–1930)