| Information | |
|---|---|
| has gloss | eng: In category theory, a strong monad over a monoidal category (C,\otimes,I) is a monad (T,\eta,\mu) together with a natural transformation t_A,B} : A\otimes TB\to T(A\otimes B), called (tensorial) strength, such that the diagrams : , , |
| lexicalization | eng: strong monad |
| instance of | e/Adjoint functors |
| Media | |
|---|---|
| media:img | Strong monad assoc.png |
| media:img | Strong monad commutation.png |
| media:img | Strong monad left unit.png |
| media:img | Strong monad mult.png |
| media:img | Strong monad unit.png |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint
