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