Good morning, We will meet in B107 from 10:30 tomorrow for the next meeting of the Category Theory working group. Quentin (intern at LIPN) will tell us about lax idempotent monads in the context of his internship and Jonas will tell us about "the topos of sheaves on cartesian spaces using Schreiber terminology" (in response to some questions of Jad last time). BBB link: https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j --- Nous serons dans la salle B107 à partir de 10h30 demain pour la prochaine réunion du groupe de travail Catégories. Quentin (stagiaire au LIPN) nous parlera des monades lax-idempotentes dans le cadre de son stage et Jonas nous parlera du "topos des faisceaux sur les espaces cartésiens en utilisant la terminologie de Schreiber" (en réponse à quelques questions de Jad la dernière fois). BBB: ci-dessus A demain, Morgan