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:
“To grant woman an equality with man in the affairs of life is contrary to every tradition, every precedent, every inheritance, every instinct and every teaching. The acceptance of this idea is possible only to those of especially progressive tendencies and a strong sense of justice, and it is yet too soon to expect these from the majority.”
—Susan B. Anthony (1820–1906)