- Categories - Listes du LIPN

Prochaines semaines du GdT
by Groupe de travail catégories 07 Nov '22

07 Nov '22

Hello! Here is the schedule for the upcoming events in the working group, taking place as usual on *Fridays **at 10:30am* in *B107* of the Institut Galilée (at Villetaneuse), and on BBB, https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j 11/11: *Damiano Mazza* will continue the reading group on dualities between algebra and geometry, following Axel's technical talk two weeks ago. I expect we shall be exploring Anel and Joyal's /Topo-logie/. 18/11: *William Troiani* will present his recent preprint on cut elimination and Buchberger's algorithm. This is more algebra than category theory, but we'll see what category theory can be thrown at it anyway! 25/11:*Zeinab Galal *will talk about /Two-dimensional fixpoint operators/. This talk was organised for the LoVe seminar, so there is likely to be a bigger attendance than usual. If you have something categorical that you want to talk about before the end of the semester, or you are particularly interested in one of the topics that were suggested at the start of the semester, let me know. --- Voici le programme des prochains événements du groupe de travail, qui se dérouleront comme d'habitude *vendredi à 10h30 *dans*B107* de l'Institut Galilée (à Villetaneuse), et sur BBB, https://bbb.lipn.univ-paris13. fr/b/rog-vao-uwm-s2j 11/11 : *Damiano Mazza* continuera le groupe de lecture sur les dualités entre algèbre et géométrie, suite à l'exposé technique d'Axel il y a deux semaines. Je m'attends à ce que nous explorions l'article /Topo-logie/ d'Anel et Joyal. 18/11 : *William Troiani* présentera sa récente prépublication sur l'élimination des coupures et l'algorithme de Buchberger. C'est plus de l'algèbre que de la théorie des catégories, mais nous verrons ensemble comment la théorie des catégories peut y entrer dedans ! 25/11: *Zeinab Galal* parlera des opérateurs de points fixes 2-dimensionnels. Cet exposé a été organisée pour le séminaire LoVe, il est donc probable qu'il y ait une plus grande participation que d'habitude. Si vous avez quelque chose de catégorique dont vous voulez parler avant la fin du semestre, ou si vous êtes particulièrement intéressé par l'un des sujets qui ont été proposés au début du semestre, faites-le moi savoir. Bonne semaine, Morgan

1 0

Re: [GdT Categories] Prochaines Semaines du GdT catégories
by Groupe de travail catégories 02 Nov '22

02 Nov '22

Bonjour! Here are the title and abstract for Ivan's talk this *Friday at 10:30am* in *B107* of the *Institut Galilée* (at Villetaneuse), and on BBB, https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j Title: *The geometry of coherent topoi and ultrastructures.* Abstract: It is know that for T a first order theory we can construct ultraproducts of models along ultrafilters. From a topos theoretic point of view, this property should correspond to a geometric property of coherent topoi. We discover such a geometric property and we see how that impacts the behavior of coherent topoi. You should know what a Grothendieck topos is in advance for this talk (but Ivan will remind us what a coherent topos is). Some familiarity with Kan extensions (their universal property rather than their explicit construction) will make the talk more digestible too. For next week, I propose that we continue the reading group, but if someone has a suggestion for a talk (introductory or technical) or a guest speaker, that will take precedence. See you on Friday! Morgan On 13/10/2022 10:54, Morgan Rogers wrote: > > Dear all, > > A reminder for tomorrow and an announcement of the coming weeks' > activities; as always we will meet on *Friday at 10:30am* in *B107* of > the *Institut Galilée* (at Villetaneuse), and you may attend the talks > remotely or access the recordings on BBB, > https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j > > Friday 14/10/22 > Damiano Mazza will explain how algebra-geometry dualities are > beginning to appear in his work on Boolean categories; this is an > introduction to next week's reading group. > > Friday 21/10/22 > Damiano Mazza will kick off our first thread of reading groups on > Topo-logie, Awodey's algebra/topology duality survey, and a little of > Zhen Lin's thesis. At the end we will discuss which of the > texts/aspects we will continue with in the eventual next session. > /References at end of email./ > > Friday 28/10/22 > Axel Osmond will give a talk on his work on abstract spectra or his > more recent work (title TBA). > > Friday 04/11/22 > Ivan di Liberti will be visiting this week and will give a talk either > at the GdT or at the LoVe seminar (title TBA). > > --- > > Un rappel pour demain et une annonce des activités des semaines à > venir ; comme toujours nous nous retrouverons *vendredi**à 10h30 au > B107 de l'Institut Galilée* (à Villetaneuse), et vous pourrez assister > à distance ou accéder aux enregistrements sur BBB, > https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j > > vendredi 14/10/22 > Damiano Mazza expliquera comment les dualités algèbro-géométriques > commencent à apparaître dans ses travaux sur les catégories > booléennes. Ceci est une introduction au groupe de lecture de la > semaine prochaine. > > vendredi 21/10/22 > Damiano Mazza lancera notre premier fil de groupes de lecture sur > Topo-logie, la revue sur la dualité algèbre/topologie d'Awodey, et un > peu de la thèse de Zhen Lin. À la fin, nous discuterons les > textes/aspects avec lesquels nous continuerons lors de l'éventuelle > prochaine session. /References ci-dessous./ > > vendredi 28/10/22 > Axel Osmond donnera un exposé sur les spectres abstraits ou sur ses > travaux plus récents (titre TBA). > > vendredi 04/11/22 > Ivan di Liberti sera visitera cette semaine et donnera une conférence > soit au GdT soit au séminaire du LoVe (titre TBA). > > Amicalement, > Morgan Rogers > > Bibliographie pour le groupe de lecture de Damiano: > > * Mathieu Anel and André > Joyal,/Topo-logie/(http://mathieu.anel.free.fr/mat/doc/Anel-Joyal-Topo-logie.pdf > <http://mathieu.anel.free.fr/mat/doc/Anel-Joyal-Topo-logie.pdf>) > * Steve Awodey,/Sheaf Representations and Duality in > Logic/(https://www.andrew.cmu.edu/user/awodey/preprints/lambek.pdf > <https://www.andrew.cmu.edu/user/awodey/preprints/lambek.pdf>) > * Zhen Lin Low,/Category of Spaces Built from Local > Models/(https://www.repository.cam.ac.uk/handle/1810/256998 > <https://www.repository.cam.ac.uk/handle/1810/256998>) > > These two sets of slides can help reading Zhen Lin's thesis: > > * /Generalising the functor of points approach/(preliminary work) > :http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf > <http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf> > * The slides presenting the actual thesis > :http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf > <http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf> >

1 0

Rappel: GdT catégories
by Groupe de travail catégories 27 Oct '22

27 Oct '22

Bonjour, Comme prévu, demain *à 10h30 au B107 de l'Institut Galilée* (à Villetaneuse), *Axel Osmond* va nous présenter un exposé lié à son sujet de thèse: Titre: *Spectres, Schémas, Syntaxe et Sémantique* /Suite à l'exposé de la semaine précédente où nous avons rencontré différents exemples de dualités spectrales, je présenterai une théorie générale des foncteurs spectraux via une approche combinant théorie catégorique des modèles, systèmes de factorisation et géométrie des topos, décrivant le spectre comme une forme de construction libre. Je présenterai aussi une approche généralisée des schémas dans ce contexte, et si le temps le permet, quelques éléments permettant d'envisager les dualités syntaxe-sémantique comme des constructions spectrales 2-catégoriques./ --- As scheduled, tomorrow *at 10:30am* in *B107* of the *Institut Galilée* (at Villetaneuse), *Axel Osmond* will give us a talk on "Spectra, Schemes, Syntax and Semantics". It will be in English if and only if somebody attending requests it. _See below for the BBB link!_ See you tomorrow! Morgan -------- Forwarded Message -------- Subject: [GdT Categories] Prochaines Semaines du GdT catégories Date: Thu, 13 Oct 2022 10:54:51 +0200 From: Groupe de travail catégories <categories(a)lipn.univ-paris13.fr> To: categories(a)lipn.univ-paris13.fr, Ivan Di Liberti <diliberti.math(a)gmail.com> Dear all, A reminder for tomorrow and an announcement of the coming weeks' activities; as always we will meet on *Friday at 10:30am* in *B107* of the *Institut Galilée* (at Villetaneuse), and you may attend the talks remotely or access the recordings on BBB, https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j Friday 14/10/22 Damiano Mazza will explain how algebra-geometry dualities are beginning to appear in his work on Boolean categories; this is an introduction to next week's reading group. Friday 21/10/22 Damiano Mazza will kick off our first thread of reading groups on Topo-logie, Awodey's algebra/topology duality survey, and a little of Zhen Lin's thesis. At the end we will discuss which of the texts/aspects we will continue with in the eventual next session. /References at end of email./ Friday 28/10/22 Axel Osmond will give a talk on his work on abstract spectra or his more recent work (title TBA). Friday 04/11/22 Ivan di Liberti will be visiting this week and will give a talk either at the GdT or at the LoVe seminar (title TBA). --- Un rappel pour demain et une annonce des activités des semaines à venir ; comme toujours nous nous retrouverons *vendredi**à 10h30 au B107 de l'Institut Galilée* (à Villetaneuse), et vous pourrez assister à distance ou accéder aux enregistrements sur BBB, https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j vendredi 14/10/22 Damiano Mazza expliquera comment les dualités algèbro-géométriques commencent à apparaître dans ses travaux sur les catégories booléennes. Ceci est une introduction au groupe de lecture de la semaine prochaine. vendredi 21/10/22 Damiano Mazza lancera notre premier fil de groupes de lecture sur Topo-logie, la revue sur la dualité algèbre/topologie d'Awodey, et un peu de la thèse de Zhen Lin. À la fin, nous discuterons les textes/aspects avec lesquels nous continuerons lors de l'éventuelle prochaine session. /References ci-dessous./ vendredi 28/10/22 Axel Osmond donnera un exposé sur les spectres abstraits ou sur ses travaux plus récents (titre TBA). vendredi 04/11/22 Ivan di Liberti sera visitera cette semaine et donnera une conférence soit au GdT soit au séminaire du LoVe (titre TBA). Amicalement, Morgan Rogers Bibliographie pour le groupe de lecture de Damiano: * Mathieu Anel and André Joyal,/Topo-logie/(http://mathieu.anel.free.fr/mat/doc/Anel-Joyal-Topo-logie.pdf <http://mathieu.anel.free.fr/mat/doc/Anel-Joyal-Topo-logie.pdf>) * Steve Awodey,/Sheaf Representations and Duality in Logic/(https://www.andrew.cmu.edu/user/awodey/preprints/lambek.pdf <https://www.andrew.cmu.edu/user/awodey/preprints/lambek.pdf>) * Zhen Lin Low,/Category of Spaces Built from Local Models/(https://www.repository.cam.ac.uk/handle/1810/256998 <https://www.repository.cam.ac.uk/handle/1810/256998>) These two sets of slides can help reading Zhen Lin's thesis: * /Generalising the functor of points approach/(preliminary work) :http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf <http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf> * The slides presenting the actual thesis :http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf <http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf>

1 0

Prochaines Semaines du GdT catégories
by Groupe de travail catégories 21 Oct '22

21 Oct '22

Dear all, A reminder for tomorrow and an announcement of the coming weeks' activities; as always we will meet on *Friday at 10:30am* in *B107* of the *Institut Galilée* (at Villetaneuse), and you may attend the talks remotely or access the recordings on BBB, https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j Friday 14/10/22 Damiano Mazza will explain how algebra-geometry dualities are beginning to appear in his work on Boolean categories; this is an introduction to next week's reading group. Friday 21/10/22 Damiano Mazza will kick off our first thread of reading groups on Topo-logie, Awodey's algebra/topology duality survey, and a little of Zhen Lin's thesis. At the end we will discuss which of the texts/aspects we will continue with in the eventual next session. /References at end of email./ Friday 28/10/22 Axel Osmond will give a talk on his work on abstract spectra or his more recent work (title TBA). Friday 04/11/22 Ivan di Liberti will be visiting this week and will give a talk either at the GdT or at the LoVe seminar (title TBA). --- Un rappel pour demain et une annonce des activités des semaines à venir ; comme toujours nous nous retrouverons *vendredi**à 10h30 au B107 de l'Institut Galilée* (à Villetaneuse), et vous pourrez assister à distance ou accéder aux enregistrements sur BBB, https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j vendredi 14/10/22 Damiano Mazza expliquera comment les dualités algèbro-géométriques commencent à apparaître dans ses travaux sur les catégories booléennes. Ceci est une introduction au groupe de lecture de la semaine prochaine. vendredi 21/10/22 Damiano Mazza lancera notre premier fil de groupes de lecture sur Topo-logie, la revue sur la dualité algèbre/topologie d'Awodey, et un peu de la thèse de Zhen Lin. À la fin, nous discuterons les textes/aspects avec lesquels nous continuerons lors de l'éventuelle prochaine session. /References ci-dessous./ vendredi 28/10/22 Axel Osmond donnera un exposé sur les spectres abstraits ou sur ses travaux plus récents (titre TBA). vendredi 04/11/22 Ivan di Liberti sera visitera cette semaine et donnera une conférence soit au GdT soit au séminaire du LoVe (titre TBA). Amicalement, Morgan Rogers Bibliographie pour le groupe de lecture de Damiano: * Mathieu Anel and André Joyal,/Topo-logie/(http://mathieu.anel.free.fr/mat/doc/Anel-Joyal-Topo-logie.pdf <http://mathieu.anel.free.fr/mat/doc/Anel-Joyal-Topo-logie.pdf>) * Steve Awodey,/Sheaf Representations and Duality in Logic/(https://www.andrew.cmu.edu/user/awodey/preprints/lambek.pdf <https://www.andrew.cmu.edu/user/awodey/preprints/lambek.pdf>) * Zhen Lin Low,/Category of Spaces Built from Local Models/(https://www.repository.cam.ac.uk/handle/1810/256998 <https://www.repository.cam.ac.uk/handle/1810/256998>) These two sets of slides can help reading Zhen Lin's thesis: * /Generalising the functor of points approach/(preliminary work) :http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf <http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf> * The slides presenting the actual thesis :http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf <http://zll22.user.srcf.net/profile/slides/2015-06-16-ChartedSpaces.pdf>

1 1

Fwd: Plan
by Groupe de travail catégories 07 Oct '22

07 Oct '22

Dear all, Attached is Aloÿs' lesson plan (in French), containing a lot more than he was able to cover in the working group meeting. This might be a good reference for future topics on abelian categories. See you next week for Damiano's talk. --- En PJ vous trouverez le plan d'Aloÿs, qui contient des détails et resultats en plus qu'il à pu présenter dans le GdT. Ce sera une bonne reference pour les futurs exposés autour des catégories abeliennes. On se vera la semaine prochaine pour l'exposé de Damiano. Bien cordialement, Morgan -------- Forwarded Message -------- Subject: Plan Date: Fri, 7 Oct 2022 12:54:13 +0200 From: Aloÿs Dufour <aloys.dufour(a)lipn.univ-paris13.fr> To: morgan.rogers(a)lipn.univ-paris13.fr Re bonjour Morgan, Je joins à ce mail le plan de la leçon que je vous ai imprimé (avec deux modifications mineurs), pour les gens qui étaient à distance, si ça les intéresse. Aloÿs.

1 0