October 2025 - Categories - Listes du LIPN

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

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

07 Oct '25

Bonjour, Personne ne s'est porté volontaire pour nous présenter quelque chose demain. Normalement j'improviserais quelque chose, mais il se trouve que je ne serai pas disponible demain (ni la meme heure la semaine suivante); je pourrai lancer la séance BBB à partir de mon cours et demander à Jonas, Quentin ou Jade d'ouvrir la salle. En l'absence de proposition particulière, je propose que tous les intéressés se retrouvent en B107 à 10h30, ou sur BBB assumant que au moins une personne y sera pour l'activer, https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j , pour une rencontre des quelques nouveaux arrivés ainsi qu'une courte discussion des actualités de ce que nous faisons qui parle de catégories---la partie de la séance d'organisation où on avait parlé de nos domaines particuliers était très intéressant. --- No one has volunteered to present anything tomorrow. Normally I would improvise something, but it turns out I won't be available tomorrow (or the same time the following week); I can start the BBB session from my class and ask Jonas, Quentin or Jade to open the room. In the absence of any specific proposals, I propose that everyone interested should meet in B107 at 10:30 a.m., or on BBB assuming at least one person will be there to activate it, https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j , to meet the newcomers and have a short discussion of how our respective current work relates to category theory---the part of the organizational session where we discussed our own work was very interesting. Best wishes, Morgan PS. If you want to discuss or present something specific next week, please let me know!

1 1

Ce semestre dans le GdT catégories...
by Groupe de travail catégories 01 Oct '25

01 Oct '25

Bonjour, Puisque plusieurs ont indiqué une indisponibilité le mercredi matin ce semestre, voici le sondage pour choisir quel sera le créneau régulier jusqu'à décembre: https://www.when2meet.com/?32555952-DviVO _Le créneau sera annoncé mardi prochain, donc n'oubliez pas d'y répondre avant!_ J'ai ajouté des nouveaux à la liste de diffusion. Laissez-moi savoir si je devrais en ajouter d'autres. Les propositions pour ce semestre discutés lors de la séance aujourd'hui sont les suivantes: ((Attention: ceci est basé sur mes notes pris rapidement, donc certainement avec erreurs!)) - Séminaire(s) d'invité(s), potentiellement partagés avec ceux du groupe LoCal ou du groupe de Topologie Algébrique (cc Geoffroy Horel pour coordination): Mathieu Anel, fin octobre---du 19/10 au 01/11. - Intervention potentiels par chercheurs de Paris/Ile-de-France (ex. de l'IRIF (Joshua Wrigley), de IMJPRG (Dianthe Basak) proposé par Morgan; autres propositions ) - Séances introductoires pour lancer des discussions: - topos/morphismes géometriques/topos cohésifs -- Morgan & Jonas - oo-catégories (stables, structurés; objets filtrés dans ce contexte) -- Christian - oo-topos, oo-topos cohésifs, SDG*, fibrés, liens avec HoTT -- Jonas, Quentin, Jad - Double catégories, perspectives, catégories formels, nouveautés -- Flavien - Ultra-anneaux, logique catégorique en lien avec algebre géometrique -- Damiano - Catégories de Grothendieck + propriétés -- Aurélien - Espaces condensés, panorama des contextes pour variantes d'algèbre homologique + K-théorie -- Christian, demandé par Morgan - Propositions de problèmes attaquables collectivement (suivant thématiques ci-dessus): - Faire des liens plus concrèts entre ultra-anneaux et algébre commutative (qu'est-ce qu'un ultra-corps?) -- Damiano - L'histoire du corps à un élément + aspects catégoriques? -- Damiano - Les topos precohésives et cohésive: est-ce que 4 propriétés simplent suffisent pour caracterisé la relation de cohésivité?-- Morgan/Jonas - Si on prend une catégorie de Grothendieck qui est localement noethérienne (engendré par ses objets noethériens) où les produits infinis sont exacte (préservent les monos), est-ce équivalent à une catégorie de diagrammes? -- Aurélien - Quels propriétés ont les tenseurs de catégories abéliennes/de Grothendieck? -- Aurélien - Groupes de lecture ou investigations collectives: - Article de Campbell & Zakaravich 2022: "Devissage and Localization for the Grothendieck Spectrum of Varieties"; ils font de la K-théorie dans un contexte non-additif et prétendent pouvoir reconstruire la plupart du travail de Grothendieck dans ce contexte. Est-ce vraisemblable? -- Damiano - *Livre de Kock: "Synthetic Differential Geometry"; applications de théorie des topos cohésives. -- Jonas (suggéré pour Quentin) Pas de programme plus concret pour le moment. Cela dépendra des résultats du sondage et de la disponibilité/volonté des participants par la suite---à suivre. L'idéal (pour moi) serait, au lieu de faire comme si le GdT était simplement un séminaire de plus, d'avoir comme but de donner la base des connaissances nécessaire pour comprendre un problème particulier, avec exemples/résultats proches; ou bien, de donner des repères pour que chacun puisse explorer (ou au moins visualiser) le terrain d'un domaine. Ainsi, lorsqu'il n'y a pas de sujet particulier prévu pour une séance, le créneau peut servir de lieu de discussion informel sur les problèmes et explications abordés auparavant. Notices pour l'avenir (semestre 2 ou après): - Visite de Bjorn Ian Dundas. - Nouvelle visite de Mathieu Anel. _(No English version this time, but most of the maths vocabulary is easy enough to translate. Please say if you have any suggestions to add!)_ Amicalement, Morgan

1 2