nLab Jacques Roubaud

Selected writings

On monadic descent via the Beck-Chevalley condition, the monadicity theorem and proving the Bénabou-Roubaud theorem:

category: people

Last revised on August 7, 2022 at 10:56:25. See the history of this page for a list of all contributions to it.