In mathematics, especially category theory, a monadic descent is roughly an idea to encode descent data using a monad.
The Bénabou-Roubaud theorem says that (roughly) given a bifibration satisfying the BeckâÂÂChevalley condition for p, the category of descent data is canonically equivalent to the category of algebras of the monad induced by .