Beck's monadicity theorem

Beck's monadicity theorem is a result in category theory that provides a characterization of when a functor 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.