You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Valeria de Paiva (Feb 14 2022 at 01:42):Sent: Sunday, 13 February 2022, 18:12:16 GMT
Subject: [cat.fr] Décès de Jean BENABOU
Chers collègues,
C’est avec tristesse que nous avons appris le décès de l'éminent mathématicien Jean Bénabou (1932-2022), survenu ce 11 février.
Jean Bénabou a introduit des nouveaux concepts fondamentaux en théorie des
catégories, et il a contribué grandement à son développement.
Les funérailles auront lieu le 21 février prochain, au cimetière du Père Lachaise à Paris. Le rendez-vous est à 15h à l’entrée principale du cimetière, boulevard de Ménilmontant (en face de la rue de la Roquette).
Au cimetière, celles et ceux qui le souhaitent pourront prononcer des paroles à la mémoire de Jean Bénabou.
Toutes nos pensées vont à sa famille et à ses proches,
Andrée Ehresman
Patrick Nicodemus (Feb 14 2022 at 04:22):Rest in peace.