Jean Bénabou is a French mathematician working in category theory. He studied under the supervision of Charles Ehresmann and received his PhD from the University of Paris in 1966 on the topic of what we now call monoidal categories.
bicategory
Benabou-Roubaud theorem
internal language of a topos (Mitchell-Bénabou language)
distributor