1 Answers
In category theory, a strong monad over a monoidal category is a monad together with a natural transformation tA,B : A ⊗ TB → T, called strength, such that the diagrams
commute for every object A, B and C.
If the monoidal category is closed then a strong monad is the same thing as a C-enriched monad.
4 views
Answered