Beck's monadicity theorem
= Beck's monadicity theorem
{wiki=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.