Strong Monad

In category theory, a strong monad over a monoidal category is a monad together with a natural transformation, called (tensorial) strength, such that the diagrams

, ,


,

and

commute for every object, and .

Read more about Strong Monad:  Commutative Strong Monads

Famous quotes containing the word strong: