About: Strong monad
An Entity of Type: Class107997703,
from Named Graph: http://dbpedia.org,
within Data Space: dbpedia.org
In category theory, 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 , ,, and commute for every object A, B and C (see Definition 3.2 in ). If the monoidal category (C, ⊗, I) is closed then a strong monad is the same thing as a C-enriched monad.
