Draft:Monadic descent

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

References

• Jean Bénabou, Jacques Roubaud, Monades et descente, C. R. Acad. Sc. Paris, Ser. A 270 (1970) 96-98

Further reading

• https://ncatlab.org/nlab/show/monadic+descent