On the Bénabou-Roubaud theorem

Bruno Kahn

We give a detailed proof of the Bénabou-Roubaud theorem. As a byproduct it yields a weakening of its hypotheses: the base category does not need fibre products and the Beck-Cheval…