- Categories - Listes du LIPN

GdT demain 16 décembre : Quentin on SDG -- partie 2
by Groupe de travail catégories 15 Dec '25

15 Dec '25

Hi, tomorrow, in what will probably be our last session before the break, Quentin will continue with his presentation of the fundamentals of SDG. 10h30 in B107 as usual. Best, Jonas On 08/12/2025 17:55, Jonas Frey wrote: > Hi, > > I'm writing the announcement today since Morgan is on his way out. > > We'll meet tomorrow at 10h30 in B107 as usual, Quentin will speak > about synthetic differential geometry. > > Best, > > Jonas > > On 02/12/2025 09:24, Groupe de travail catégories wrote: >> Hi, >> >> Room B107 is booked for the usual time today (10:30) I need to finish >> writing an exam for tomorrow morning and have a meeting at 11 so >> probably won't join. >> >> On the bright side, Jad finished teaching a category theory course >> this week and Quentin has started reading the book that they were >> proposing a reading group for, so I hope that starting next week we >> can discuss that! >> >> Best, >> Morgan >> _______________________________________________ >> Categories mailing list >> Categories(a)lipn.univ-paris13.fr >> https://lipn.univ-paris13.fr/listes-lipn/listinfo/categories

1 0

GdT ce matin
by Groupe de travail catégories 08 Dec '25

08 Dec '25

Hi, Room B107 is booked for the usual time today (10:30) I need to finish writing an exam for tomorrow morning and have a meeting at 11 so probably won't join. On the bright side, Jad finished teaching a category theory course this week and Quentin has started reading the book that they were proposing a reading group for, so I hope that starting next week we can discuss that! Best, Morgan

1 1

GdT demain
by Groupe de travail catégories 25 Nov '25

25 Nov '25

Hi! Tomorrow we will meet at the usual place and time (10:30am in B107 or https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j) for the working group. Again, there are no specific plans, although the PhD students in the logic group have been saying for some time that they would like to start a reading group..! See you tomorrow, Morgan

1 1

GdT demain
by Groupe de travail catégories 17 Nov '25

17 Nov '25

Hi, While there are no specific plans arranged, I would like to see anyone who can make it tomorrow for an informal discussion of any topics around category theory that have arisen in your research or study so far this semester. I'll be in B107 from 10:30am with the BBB on https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j Please do send me a message if you have a proposal for the working group next week! See you there, Morgan

1 0

Réunion informelle demain
by Groupe de travail catégories 10 Nov '25

10 Nov '25

Hi! Tomorrow is a holiday, but in case you feel like doing some category theory anyway, I will be discussing _Quantifiers as adjoints_ with my visitor Aidan Evans tomorrow (Tuesday) morning from 10:30 in B107. I'll activate the BBB (https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j) in case anyone wants to join. For context, Aidan works in descriptive complexity theory, where adding quantifiers to the logic describing a class of words over some alphabet (viewed as finite models of a particular relational theory) allows one to define classes of languages whose recognition problems can be identified with certain complexity classes. I want to know if the quantifiers that he works with can be contextualized as adjoint functors à la Lawvere. It will be an informal meeting, but drop by if you're curious! See you tomorrow, Morgan

1 0

GdT demain
by Groupe de travail catégories 03 Nov '25

03 Nov '25

Bonjour, Le prochain GdT aura lieu demain matin à 10h30 en B107 ainsi que sur BBB (retour à l'URL habituel, https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j) Faute de meilleure suggestion, je compte expliquer le concept de topos (pré-)cohésif. Je voudrais vous présenter le problème ouvert dans ce domaine que j'avais évoqué lors de la séance d'organisation, mais il y aura également des intuitions généralement utiles sur différents types de topos. --- The next GdT will take place tomorrow morning at 10:30 AM in B107 and also on BBB (return to the usual URL). For want of a better idea, I plan to explain the concept of (pre-)cohesive topos. I would like to present the open problem in this area that I mentioned during the planning session, but there will also be some generally useful insights on different types of topos. See you tomorrow! Morgan

1 0

Pas de GdT aujourd'hui
by Groupe de travail catégories 28 Oct '25

28 Oct '25

C'est les vacances; comme vous aurez peut-être deviné, ils n'y aura pas de GdT cette semaine. On reprendra la semaine prochaine. En revanche, voici une question de David Michael Roberts provenant du Zulip catégories: > The fact that the categories of sheaves over linear sites (or linear > Grothendieck topoi) are precisely the Grothendieck categories can be > deduced from Gabriel-Popescu theorem. Is there work on the internal > logic of a (Grothendieck) abelian category from this point of view, > keeping in mind the usual internal logic of a (Grothendieck) topos? Si vous avez une réponse, je pourrais vous mettre en contact/le lui transmettre; sinon, ça m'a l'air d'être un point de départ pour une discussion intéressante entre nous!

1 0

Lien BBB pour séminaire de Mathieu Anel
by Groupe de travail catégories 21 Oct '25

21 Oct '25

Salut! On transmettra l'exposé de Mathieu Anel (aujourd'hui, 10h30 en B107) sur le BBB du groupe de travail catégories : https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j Il y sera enregistré également. Amicalement, Morgan

1 0

Fwd: visite Mathieu Anel
by Groupe de travail catégories 17 Oct '25

17 Oct '25

Bonjour! Dans notre créneau GdT de mardi prochain (10h30 en B107 comme d'habitude) nous allons accueillir Mathieu Anel pour l'exposé ci-dessous. --- Next Tuesday, Mathieu Anel will be presenting some of his work; title and abstract below. Best wishes, Morgan On Thu, 16 Oct 2025 at 23:37, Jonas Frey <jonas743(a)gmail.com> wrote: > Bonsoir, > > Voici l'abstract pour l'exposé de Mathieu Anel mardi 21 octobre dans > la salle B107. > > Amicalement, > > Jonas > > --------------------- > > T-structures — entre logique et topologie > > Les structures de troncation, ou t-structures, ont été inventées > pour remplacer les troncations de Postnikov en homotopie stable. Les > modalités ont été inventées en théorie homotopique des types pour > axiomatiser les troncations de Postnikov dans les ∞-topos. Il se > trouve que les deux notions peuvent s’encoder de manière uniforme > comme des systèmes de factorisation stables par changement de base. > Les examples de modalités abondent : préfaisceaux séparés, > morphismes acycliques, A1-localisation, l’élusive modalité de > Sullivan... J’expliquerai comment toute modalité vient avec une > tour de complétion et comment on peut généraliser la notion de > n-topos en t-topos, relatif à une modalité arbitraire. > > On Mon, 6 Oct 2025 at 14:52, horel <horel(a)math.univ-paris13.fr> wrote: > > Ok tiens moi au courant. Et je peux envoyer une annonce à notre liste > de diffusion habituelle si j'ai un titre et un abstract. > > Amicalement, > > Geoffroy > > Le 2025-10-06 14:13, Jonas Frey a écrit : > > Merci Geoffroy, > > On va donc faire l'exposé le mardi (21 octobre) dans le nouveau > créneau du GdT catégories. Morgan, ça va? > > Je vais me renseigner par rapport à la salle. > > Probablement la salle habituelle du GdT serait assez grande aussi. > > Jonas > > On Fri, 3 Oct 2025 at 12:55, horel <horel(a)math.univ-paris13.fr> wrote: > > > Salut à tous, > > Vu les réponses que j'ai reçue pour l'instant, il semble que mardi > matin soit la meilleure option pour les gens de notre équipe. > Malheureusement, les deux salles de séminaire du LAGA sont occupées > sur ce créneau. > > Geoffroy > > Le 2025-09-30 22:57, Jonas Frey a écrit : > > Bonjour Geoffroy, > > Merci pour ta réponse. Oui la salle B407 est une excellente option, > merci de la proposer ! > > Mais par rapport à la date ... On avait prévu le créneau du gdt > catégories, mais après après t'avoir écrit hier, Morgan m'a > rappelé qu'on est actuellement en train de faire un sondage pour un > nouveau créneau, et il est probable que ce soit mardi matin. La > question est donc de savoir si on garde mercredi (22 octobre) matin > pour l'exposé de Mathieu ou si on le fait mardi 21 octobre matin. Tu > sais ce qui marcherait le mieux du côté math ? > > J'ai mis Morgan en copie. > > Amicalement, > > Jonas > > On Mon, 29 Sept 2025 at 15:25, horel <horel(a)math.univ-paris13.fr> > wrote: > > Bonjour Jonas, > > Merci pour ton message. C'est une bonne idée de faire une séance > commune. Notre séminaire est déjà rempli le 23 octobre. Le 30 > tombera pendant la réunion du réseau RTop à Marseille à laquelle > participent pas mal de membres de notre équipe. Je pense que le plus > simple est de garder le jour et l'horaire que vous avez choisi mais > d'inviter les membres de l'équipe TA à y assister. Bien-sûr > certains auront cours ou d'autres obligations mais on ne pourra de > toute façon pas contenter tout le monde. Je ne sais pas quelle salle > est prévue pour le moment. Je peux réserver la B407 au LAGA qui est > assez grande. > > Amicalement, > > Geoffroy > > Le 2025-09-29 14:39, Jonas Frey a écrit : > > Bonjour Geoffroy, > > J'espère que tu vas bien. > > Mathieu Anel va nous rendre visite au LIPN du 19 au 31 Octobre, et > lors de la réunion du GdT catégories mercredi dernier, Christian > Ausoni (en CC) a suggéré qu'il pourrait intervenir dans le > séminaire de topologie algébrique, ou qu'on pourrait faire une > séance commune avec le GdT? > > Pour le moment on avait prévu de proposer à Mathieu de faire un > exposé le 22 Octobre au GdT travail à 10h30 et de l'annoncer aussi > pour notre séminaire d'équipe, mais on pourrait facilement changer > ça et trouver un horaire plus adéquat et/ou une plus grande salle > s'il y a intérêt de votre coté ? > > Cordialement, > > Jonas

1 0

GdT demain
by Groupe de travail catégories 14 Oct '25

14 Oct '25

Hi, Sorry for the late reminder. We (not actually including me!) will meet tomorrow at 10:30 in B107. Damiano has offered to present the paper he mentioned last week. Please could someone at LIPN open the room and distribute a BBB link like last time? Best wishes, Morgan

1 1