Jean Bénabou (1932-2022) was a French mathematician working in category theory. He studied under the supervision of Charles Ehresmann and received his Thèse d’État from the Université de Paris in 1966 on the topic of what we now call monoidal categories.
Introducing the notion of enriched categories (and of strict 2-categories, as an example):
Jean Bénabou, Catégories relatives, C. R. Acad. Sci. Paris, 260 (1965), pp. 3824-3827 (gallica)
Jean Bénabou, Structures algébriques dans les catégories, Cahiers de topologie et géométrie différentielle, 10 1 (1968) 1-126 [doi:CTGDC_1968__10_1_1_0]
On bicategories (and introducing the terminology monad):
See also:
On monadic descent via the Beck-Chevalley condition, the monadicity theorem and introducing the Bénabou-Roubaud theorem:
On profunctors (including for enriched categories and internal categories):
Jean Bénabou, Fibrations petites et localement petites, C. R. Acad. Sci. Paris 281 Série A (1975) 897-900 [gallica]
Jean Bénabou, Fibered Categories and the Foundations of Naive Category Theory, The Journal of Symbolic Logic, Vol. 50 1 (1985) 10-37 [doi:10.2307/2273784]
See also:
internal language of a topos
Last revised on August 12, 2023 at 14:21:53. See the history of this page for a list of all contributions to it.