Utilisateur:Iojik/Jean Bénabou

Jean Bénabou est un mathématicien français, spécialiste des Théorie des catégories. Il a soutenu son doctorat d'état Structures algébriques dans les catégories [1] en 1964 sous la direction de Charles Ehresmann.

Biographie mathématique modifier

Une biographie mathématique courte par Jacques Roubaud est disponible sur la revue Image des Mathématiques[2].
L'oeuvre et la biographie mathématiques de Jean Bénabou sont l'objet principale du livre impératif catégorique:, deuxième partie de la Branche 3, seconde partie de Le grand incendie de Londres Jacques Roubaud.

Théorème de Bénabou-Roubaud modifier

Le Théorème de Benabou-Roubaud[3],[4] (1970) interprète les données de descente de manière simple et naturelle comme des algèbres sur une monade, et permet de distinguer les morphismes de descente des morphismes de descente effective.

Œuvres modifier

Structures algébriques dans les catégories </ref>[2]</ref>


  1. Jean Benabou, « Structures algébriques dans les catégories », Cahiers de Topologie et Géométrie Différentielle Catégoriques, vol. 10, no 1,‎ , p. 1–126 (ISSN 1245-530X, lire en ligne, consulté le )
  2. Esquisse d’un portrait de Jean Bénabou, catégoricien par Jacques Roubaud [1]
  3. Monades et descente, Note CRAS de Jean Bénabou et Jacques Roubaud, présentée par Henri Cartan, pages 96 à 98 de Académie des sciences (France) Auteur du texte, « Comptes rendus hebdomadaires des séances de l'Académie des sciences. Séries A et B, Sciences mathématiques et Sciences physiques », sur Gallica, (consulté le )
  4. « Benabou-Roubaud theorem in nLab », sur ncatlab.org (consulté le )