Pseudomonad (category theory)
In mathematical category theory, a pseudomonad is a mathematical generalization of a monad. It is essentially the same notion as a pseudomonoid as introduced in Gray-monoid, and was introduced by Marmolejo (1997) for every Gray-category.
Source: Wikipedia — Pseudomonad (category theory) (CC BY-SA 4.0)