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.
Jean Bénabou, Introduction to Bicategories, Lecture Notes in Mathematics 47, Springer (1967), pp.1-77. (doi)
J. Bénabou, Théories relatives à un corpus , C. R. Acad. Sci. Paris 281 Série A (1975) pp.831-834. (gallica)
J. Bénabou, Fibrations petites et localement petites , C. R. Acad. Sci. Paris 281 Série A (1975) pp.897-900. (gallica)
Jean Bénabou, Fibered Categories and the Foundations of Naive Category Theory , The Journal of Symbolic Logic, Vol. 50, No. 1 (Mar., 1985), pp. 10-37 (doi)
internal language of a topos
Last revised on April 4, 2020 at 19:46:30. See the history of this page for a list of all contributions to it.