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:
“Dearest Nature, strong and kind,
Whispered, “Darling, never mind!
Tomorrow they will wear another face,
The founder thou; these are thy race!””
—Ralph Waldo Emerson (1803–1882)