Categories

Download

categories@lipn.univ-paris13.fr

April 2025

1 participants
2 discussions

Groupe de lecture demain (pas à Villetaneuse!)
by Groupe de travail catégories 15 Apr '25

15 Apr '25

Hi! Most of you are on holiday, so I have not planned any particular activity tomorrow. However, I wanted to let you know that there is a reading group of _Sheaves in Geometry and Logic, _Mac Lane and Moerdijk's introduction to topos theory, planned at IRIF in the afternoon: 2pm in Room 3052 at IRIF, on the third floor of Sophie Germain. I got permission to advertise it from the organiser Vincent Moreau, and Jad intends to go, so you can meet there if you intend to go. Enjoy! --- La plupart d'entre vous étant en vacances, je n'ai pas prévu d'activité particulière demain. Cependant, je tenais à vous informer qu'un groupe de lecture de _Sheaves in Geometry and Logic_, l'introduction à la théorie des topos de Mac Lane et Moerdijk, est prévu à l'IRIF demain après-midi: 14h dans la salle 3052 à l'IRIF, au troisième étage de Sophie Germain. J'ai obtenu l'autorisation de l'organisateur Vincent Moreau pour en faire la promotion, et Jad compte y aller, donc vous pouvez vous y retrouver si vous voulez. Bonne lecture ! Bien cordialement, Morgan ROGERS

1 0

GdT demain
by Groupe de travail catégories 01 Apr '25

01 Apr '25

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

1 0