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 unities, sir,’ he said, “are a completeness—a kind of universal dovetailedness with regard to place and time—a sort of general oneness, if I may be allowed to use so strong an expression. I take those to be the dramatic unities, so far as I have been enabled to bestow attention upon them, and I have read much upon the subject, and thought much.””
—Charles Dickens (1812–1870)