Strong Monad - Commutative Strong Monads

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:

    As the strong man exults in his physical ability, delighting in such exercises as call his muscles into action, so glories the analyst in that moral activity which disentangles.
    Edgar Allan Poe (1809–1845)