September 2025 - Categories

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