On monadic descent via the Beck-Chevalley condition, the monadicity theorem and proving the Bénabou-Roubaud theorem:
Last revised on August 7, 2022 at 14:56:25. See the history of this page for a list of all contributions to it.