In philosophy, a fundamental indivisible unit of being, especially in Leibniz's metaphysics.
In category theory, a monad is an endofunctor with two natural transformations (unit and multiplication) satisfying certain coherence conditions.
In functional programming, a monad is a design pattern that structures computations, often used to handle side effects, state, or sequencing.
In Leibniz's philosophy, a monad is considered an indivisible substance.
A monad in category theory is defined using an endofunctor and natural transformations.
In Haskell, the IO monad is used to handle side effects.