Monadic descent

Template:No footnotes In mathematics, especially category theory, a monadic descent is roughly an idea to encode descent data using a monad.

Bénabou-Roubaud theorem

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 $p_{!},p^{\ast }$.

See also

• Beck's monadicity theorem

References

• Template:Cite journal
• Template:Cite journal
• Template:Cite journal
• Template:Cite journal
• Template:Cite journal

Further reading

• Template:Cite web
• Template:Cite web
• Template:Cite web -English translation of Bénabou&Roubaud(1970).