This article may be too technical for most readers to understand.(April 2022) |
A strong monad is a mathematical object defined using category theory that is used in theoretical computer science. In technical terms, a strong monad over a monoidal category (C, ⊗, I) is a monad (T, η, μ) together with a natural transformation tA,B : A ⊗ TB → T(A ⊗ B), called (tensorial) strength, such that the diagrams
commute for every object A, B and C (see Definition 3.2 in [1]).
If the monoidal category (C, ⊗, I) is closed then a strong monad is the same thing as a C-enriched monad.