Beck's monadicity theorem is a result in category theory that provides a characterization of when afunctor is a monad. In particular, it provides conditions under which a certain type of functor, called a "distributive law," allows for the lifting of certain structures to a monadic context.
