Monad (category Theory)

Monad (category Theory)

In category theory, a branch of mathematics, a monad, or triple is an (endo-)functor, together with two natural transformations. Monads are used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories.

The notion of "algebras for a monad" generalizes classical notions from universal algebra, and in this sense, monads can be thought of as "theories".

Read more about Monad (category Theory):  Introduction, Formal Definition, Comonads and Their Importance, Examples, Algebras For A Monad, Monads and Adjunctions, Uses, Generalization