- Categories - Listes du LIPN

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

Soutenance de thèse Francesca Pratali
by Groupe de travail catégories 29 Sep '25

29 Sep '25

Bonjour à tous et à toutes, J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée "Théorie homotopique des structures dendroïdales", dirigée par Eric Hoffbeck. La soutenance aura lieu le vendredi 3 Octobre à 13h30 au LAGA; il sera aussi possible d’assister à la présentation à distance. Lien et precisions sur la salle suivront dans un autre mail plus proche de la date. Après la soutenance, il y aura un pot en salle B407 auquel vous êtes chaleureusement convié.e.s! Amicalement, Francesca

1 0

Prochaines activités
by Groupe de travail catégories 19 Sep '25

19 Sep '25

Bonjour à tou.te.s! J'espère que tout le monde a eu une bonne rentrée. Je propose une réunion mercredi matin (24/09) à 10h en B107 afin de planifier les activités du groupe de travail pour ce semestre. Nous pourrons notamment discuter: - du calendrier (si mercredi matin ne convient pas à la plupart des intéressés, je peux lancer un sondage pour déterminer ce qui serait le plus adapté),* - des personnes que vous souhaitez inviter à intervenir, - des sujets que vous aimeriez aborder et - de la poursuite éventuelle des sujets abordés avant l'été. Comme toujours, vous pouvez également nous rejoindre sur BBB: https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j --- I hope everyone has had a good return to work and study. I would like to propose a meeting next Wednesday (24/09) morning at 10am in B107 to plan the activities of the working group for this semester. In particular, we can discuss - the timing of our meetings (if Wednesday morning is not adequate for a majority of people, I can launch a poll to see what would be better),* - anyone that you would like to invite to speak, - any topics you would like to learn about, and - the possible continuation of topics from the first half of the year. As always, you can also join on BBB if you can't make it to the campus. Hopefully see you there! Morgan PS. If you can't make it to the meeting next week for a recurring reason, please do let me know by email your thoughts on these topics, especially the first one (*)!

1 0

Fwd: [SEMINAIRE LoCal] Paul Blain Levy, 11/09/2025 10:30
by Groupe de travail catégories 09 Sep '25

09 Sep '25

Salut, Je me permet de transmettre une annonce de séminaire d'équipe au cas où ça intéresserait l'un de vous. Il faut aussi que l'on se motive pour relancer le gdt. à bientôt, Flavien *Oles Embeddings* [Intervenant] Paul Blain Levy, University of Birmingham [Localisation] Salle B107, bâtiment B, Université de Villetaneuse [Date] 11/09/2025 10:30 - 12:00 [Description] Résumé : Oles embeddings are a way of generalizing the notion of injection in the category of sets (and decidable subobject in an extensive category) to an arbitrary category with finite coproducts. The concept is dual to that of Oles expansions, also known as very well-behaved lenses, which have played a role in the semantics of state. We also introduce notions of Oles inverse image square, Oles intersection square and union, generalizing the corresponding notions from the category of sets and satisfying several of their properties. We then further generalize these notions to the setting of a category acting on another category, and we see various examples from the semantics of effects arising as special cases. These include the lookup/update algebras (mnemoids) of Plotkin and Power, and monads supporting exceptions and other kinds of handling. ----------------------------------

1 0

GdT mercredi
by Groupe de travail catégories 23 Jun '25

23 Jun '25

Hi! This Wednesday at 10:30am in B107, my Masters student Lilian Bost will be presenting the work he has been doing during his internship. The topic is Jackson's topos-theoretic approach to measure theory (and how it can be improved); it's based on a thesis from 2006 https://d-scholarship.pitt.edu/7348/1/Matthew_Jackson_Thesis_2006.pdf Hoping to see you there or on BBB: https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j --- Ce mercredi à 10h30 en B107, mon stagiaire Lilian Bost présentera les travaux qu'il a réalisés pendant son stage. Le sujet porte sur l'approche de Jackson à la théorie de la mesure en utilisant les topos. Le stage s'appuie sur une thèse de 2006, voir lien ci-dessus. A mercredi! Morgan PS. A transmettre aux matheux intéressés par la théorie de la mesure!

1 0

GdT demain
by Groupe de travail catégories 10 Jun '25

10 Jun '25

Bonjour, Le GdT demain sera en B107 à 10h30, comme d'habitude. Voici le lien BBB: https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j Quentin nous parlera des travaux effectués pendant son stage avec Jonas. La semaine prochaine la salle B107 est réservé, mais la semaine d'après peut-être qu'un autre stagiaire ou doctorant voudra y parler? Rappel pour la journée MathSTIC "Catégories" le 16 juin: https://lipn.univ-paris13.fr/~breuvart/journee_mathstic_axe_categories --- Le working group tomorrow will be at 10:30 in B107 as usual, BBB link above. Quentin will probably tell us about lax-idempotent monads. Don't forget to register online at the bottom of the page linked above if you want to come to the Categories event on June 16th! Best wishes, Morgan

1 1

Invitation to seminar *tomorrow*
by Groupe de travail catégories 04 Jun '25

04 Jun '25

Hi! I haven't organised a seminar for today. However, tomorrow morning Ryuya Hora will be back at LIPN to present some of his work, which is both topos-theoretic and involves monoid actions. Here are the details: Salle B107, bâtiment B, Université de Villetaneuse 05/06/2025 10:30 - 12:00 Titre: Local state classifier for automata theory Résumé : The notion of a local state classifier was introduced in the context of Lawvere's first open problem in topos theory. Although this problem itself has already been resolved, the idea of local state classifiers -- defined as colimits of all monomorphisms -- has potential applications in more general categorical frameworks beyond topos theory. In this talk, I will not delve into the technical details of topos theory. Instead, I will focus on explaining the definition and core idea of the local state classifier through simple examples. At the end of the presentation, I will briefly introduce my research on a topos-theoretic approach to automata theory, which is based on the fact that the local state classifier of the category of word actions PSh(\Sigma*) is given by word congruences. The BBB link will be the following: https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 code accès: 757416 See you tomorrow if you can make it! Morgan

1 0

Exposé dans 25 minutes
by Groupe de travail catégories 28 May '25

28 May '25

Salut! Je donne un exposé sur les morphismes géométriques à l'IRIF à 14h. Voici un bien pour suivre en visio. https://galene.org:8443/group/moreau/?token=f5UH0R17C1E A+ Morgan

1 0

GdT demain
by Groupe de travail catégories 28 May '25

28 May '25

Sorry for the late message. We should have a meeting tomorrow morning as usual. Having recently reviewed the material, I intend to complement Jonas' past two weeks with an explanation of how classifying toposes can be constructed. BBB link: https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j We should start and end more promptly than usual since I am giving a talk at the /Sheaves in Geometry and Logic /reading group at IRIF at 2pm in the afternoon about geometric morphisms. See you tomorrow! Morgan

1 1