Monad (homological algebra)

In homological algebra, a **monad** is a particular construction that arises in category theory. Monads provide a framework for describing computations, effects, and various algebraic structures in a categorical context.