High Quality Content by WIKIPEDIA articles! 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.