 | This article may be too technical for most readers to understand. (April 2022) |
In category theory, a strong monad is a monad on a monoidal category with an additional natural transformation, called the strength, which governs how the monad interacts with the monoidal product.
Strong monads play an important role in theoretical computer science where they are used to model computation with side effects[1].
- ^ Moggi, Eugenio (July 1991). "Notions of computation and monads" (PDF). Information and Computation. 93 (1): 55–92. doi:10.1016/0890-5401(91)90052-4.