- Categories - Listes du LIPN

Fwd: Séminaire de topologie algébrique du LAGA : Violeta Borges Marques, 14 novembre, 14h salle B405
by Groupe de travail catégories 10 Nov '24

10 Nov '24

Bonsoir, ci-dessous le séminaire du LAGA de ce jeudi donné par Violeta Borges, dont les thématiques très catégoriques pourraient intéresser quelqu'un! Amicalement, Francesca -------- Courriel original -------- Objet: Séminaire de topologie algébrique du LAGA : Violeta Borges Marques, 14 novembre, 14h salle B405 Date: 2024-11-10 11:57 De: horel <horel(a)math.univ-paris13.fr> À: Chers tous, Ce jeudi (14 novembre, 14h salle B405) nous aurons le plaisir d'écouter Violeta Borges Marques (University of Antwerp) au séminaire de topologie algébrique du LAGA. Elle nous parlera du sujet suivant : The category of necklaces is Reedy monoidal Templicial objects were introduced by Lowen and Mertens as "simplicial sets enriched in V", when V is a (not necessarily cartesian) monoidal category. In the study of these gadgets, they also introduced necklicial V-categories. In this talk I will introduce both these concepts, motivated by the investigation of Segal dg-categories. I will then construct a Reedy structure on the category of necklaces and explain how it can be used to define model structures on the category of templicial objects. Amicalement, Geoffroy

1 0

Re: [GdT Categories] pas de GdT demain
by Groupe de travail catégories 06 Nov '24

06 Nov '24

Correction, j'ai voulu dire mercredi prochain dans la version française de mon dernier mail, désolé. Le 2024-11-05 22:58, Jonas Frey a écrit : > Salut Morgan, > > dans la version français tu écris *vendredi* prochain. Est-ce que c'est > expres? (en fait je preferais vendredi ...) > > Jonas > > > On 05/11/2024 15:47, Groupe de travail catégories wrote: >> Bonjour, >> >> Je ne peux pas diriger le groupe de lecture demain; la prochaine >> séance sera donc vendredi prochain. >> >> --- >> >> I will not be able to lead the reading group tomorrow (and Flavien is >> still sick, as far as I know), so the next session will be next week. >> >> Best, >> Morgan R >> _______________________________________________ >> Categories mailing list >> Categories(a)lipn.univ-paris13.fr >> https://lipn.univ-paris13.fr/listes-lipn/listinfo/categories

1 0

Re: [GdT Categories] Groupe de lecture demain
by Groupe de travail catégories 30 Oct '24

30 Oct '24

Hi, We are in A205 (my office) because the key to B107 was not returned. Best, Morgan Le 2024-10-29 18:40, Morgan Rogers a écrit : > Bonjour, > > Flavien étant malade, c'est à moi de vous informer qu'on se retrouvera > demain (30/10) à 10h en B107 ou en ligne > (https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j) pour la première > séance du groupe de lecture sur les infini-catégories, probablement > celui de Cisinski: > > https://drive.google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view > > Je compte diriger la séance. Ce sera très informel; on essayera de > comprendre que sont les infini-catégories dans un cadre général, et > quels sont les dévelopments dans ce domaine. > > --- > > Hi all, I'll be leading the first inf-cat reading group session > tomorrow. It will be informal and conceptual. See above for links; > please send me a message ahead of the meeting if you want to request > English (the text is in English, but without request, the discussion > will likely switch to French regularly). > > See you tomorrow, > Morgan

1 0

Groupe de lecture demain
by Groupe de travail catégories 30 Oct '24

30 Oct '24

Bonjour, Flavien étant malade, c'est à moi de vous informer qu'on se retrouvera demain (30/10) à 10h en B107 ou en ligne (https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j) pour la première séance du groupe de lecture sur les infini-catégories, probablement celui de Cisinski: https://drive.google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view Je compte diriger la séance. Ce sera très informel; on essayera de comprendre que sont les infini-catégories dans un cadre général, et quels sont les dévelopments dans ce domaine. --- Hi all, I'll be leading the first inf-cat reading group session tomorrow. It will be informal and conceptual. See above for links; please send me a message ahead of the meeting if you want to request English (the text is in English, but without request, the discussion will likely switch to French regularly). See you tomorrow, Morgan

1 1

GdT Catégories demain ?
by Groupe de travail catégories 16 Oct '24

16 Oct '24

Bonjour à tous, Il n'y a pas d'orateur prévu demain. Je propose donc de me dévouer au dernier moment et faire une présentation sur les foncteurs indexés, fibrations et produits monoïdaux / (co)Carthésiens. Plus précisément je penses présenter : * les notions de foncteurs indexés et de (op)fibrations, reliés par la transformation de Grothendieck, * les notions de produits monoïdaux internes (dans les fibres), externe (dans la fibration) et comment on peut passer de l'un à l'autre (travaux de Shulman [0706.1286] <https://arxiv.org/abs/0706.1286>) * logiques se plaçant dans les cas où on n'a pas d'internalisation, et donc à la fois un produit interne et un produit externe (ma propre recherche). à demain, 10h15 en B107, Flavien

1 5

Fwd: GdT catégories
by Groupe de travail catégories 02 Oct '24

02 Oct '24

Désolé, il semble que j'utilisais le mauvais alias -------- Message transféré -------- Sujet : Re: GdT catégories Date : Wed, 2 Oct 2024 10:53:23 +0200 De : Flavien Breuvart <breuvart(a)lipn.univ-paris13.fr> Pour : categorie(a)lipn.univ-paris13.fr, lipn.love(a)lipn.univ-paris13.fr Bonjour à tous, On a discuté à 5 et on a évoqué ce que l'on pouvait faire cette année. En plus du livre de Cizinshi [1] évoqué par Christian, on a ajouter un autre article de Riehl et Shulman [2] qui a une approche légèrement différente de la même problématique (et qui est plus abordable pour des gens comme moi). On a donc proposé de faire deux groupes de lectures qui se parlent en écho sur ces deux sources. Pour ce mois-ci, par contre, on était tous trop pris pour préparer quelque chose. Est-ce que l'un de vous serait disponible pour nous présenter quelque chose dans deux semaine ? Sinon on annule (à moins que l'on veuille se retrouver pour discuter de nos avancées dans nos lectures). [1] https://drive.google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view [2] https://higher-structures.math.cas.cz/api/files/issues/Vol1Iss1/RiehlShulman à bientôt, Flavien Le 19/09/2024 à 10:57, Flavien Breuvart a écrit : > Bonjour à tous, > > Désolé pour les doublons. Si vous n'êtes pas destinataire de la liste > categories(a)lipn.univ-paris13.fr et que vous souhaitez suivre le gdt, > veuillez envoyer un mail à Morgan <rogers(a)lipn.univ-paris13.fr> qui > vous inscrira; sans ça vous ne recevrez pas les mails suivants. > > @Éric: peux-tu transmettre ce mails aux nouveaux arrivants du Laga qui > peuvent être intéressés ? > > Nous allons reprendre le groupe de travail de catégories. Pouvez-vous > remplis le sondage suivant : https://www.when2meet.com/?26564398-xf7TE > ? Il s'agit de savoir quel créneau horaire convient le mieux. > J'essaierais de lancer une réunion (voir une présentation ?) sur le > créneau en question dès la fin de semaine prochaine ou début de la > suivante. > > À bientôt, > > Flavien >

1 0

Message test
by Groupe de travail catégories 02 Oct '24

02 Oct '24

Bonjour, Vous recevez ce mail car vous êtes sur la liste de diffusion pour le groupe de travail "categories" du LIPN et du LAGA. Attention, on utilise l'adresse avec le "s" à la fin. La réunion d'organisation a eu lieu ce matin, et on a choisi des cours (de Cisinski) et un article (Riehl et Shulman) sur les infinie-catégories à travailler. Bien cordialement, Morgan

1 0

Re: [GdT Categories] Will Troiani 18/11 10:30am
by Groupe de travail catégories 25 Nov '22

25 Nov '22

Dear all, Today we have a joint meeting with the LIPN seminar: [Intervenant] Zeinab Galal, University of Manchester [Localisation] Salle B107, bâtiment B, Université de Villetaneuse [Date] 25/11/2022 10:30 - 12:00 Résumé : Fixpoint operators are tools to reason on recursive programs and infinite data types obtained by induction (e.g. lists, trees) or coinduction (e.g. streams). They were given a categorical treatment with the notion of categories with fixpoints. An important result by Plotkin and Simpson in this area states that provided some conditions on bifree algebras are satisfied, we obtain the existence of a unique uniform fixpoint operator. This theorem allows to recover the well-known examples of the category Cppo (complete pointed partial orders and continuous functions) in domain theory and the relational model in linear logic. In this talk, I will present a categorification of this result where the 2-dimensional framework allows to study the coherences associated to the reductions of ?-calculi with fixpoints i.e. the equations satisfied by the program computations steps. *The BBB link is different for this week: *https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24* *code: 757416 Details of next week and beyond will be sent at the start of next week. See you there, Morgan On 17/11/2022 14:31, Morgan Rogers wrote: > > Dear all, > > Damiano is unwell, so we are back to having Will Troiani presenting > *tomorrow morning **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: Elimination and cut elimination in multiplicative linear logic. > Abstract: we give a fresh perspective to Girard's Geometry of > Interaction program which seeks to find a model of linear logic where > cut-equivalent terms are not interpreted identically, but instead > are related inside the model via some domestic transformation. Our > model interprets proofs as coordinate rings, where the quotient ideals > describe the patterns of equality > previously mentioned. The ideals of two different proofs which are > related via cut-reduction are then related by the (pre-existing) > Buchberger Algorithm, which is used to compute Gröbner bases from > generating sets for ideals. > > I would also like to take this opportunity to announce that Eric > Hoffbeck has kindly volunteered to present for the group on 02/12 or > 09/12 or both. Details of that will be announced next week. > > --- > > Damiano est malade, donc nous allons accueillir Will Troiani *demain à > 10h30 dans B107*, et sur BBB. > > Je prends cette opportunité d'annoncer que Eric Hoffbeck fera un > exposé chez nous ou le 2, ou le 9 Décembre (ou les deux). Les détails > seront annoncé la semaine prochaine. > > Amicalement, > Morgan > > On 07/11/2022 14:03, Morgan Rogers wrote: >> >> Hello again! >> >> Here is the corrected schedule for the upcoming events in the working >> group, bearing in mind that /11/11 is a national holiday/... >> Everything will take 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 >> >> 18/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/. >> >> 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. >> >> 02/12: *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! >> >> 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 corrigé des prochains événements du groupe de >> travail, sachant que le /11/11 est un jour férié/... Tout se >> déroulera comme d'habitude les *vendredi à 10h30 *dans*B107* de >> l'Institut Galilée (à Villetaneuse), et sur BBB, >> https://bbb.lipn.univ-paris13. fr/b/rog-vao-uwm-s2j >> >> 18/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. >> >> 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. >> >> 02/12 : *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 ! >> >> 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

Will Troiani 18/11 10:30am
by Groupe de travail catégories 17 Nov '22

17 Nov '22

Dear all, Damiano is unwell, so we are back to having Will Troiani presenting *tomorrow morning **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: Elimination and cut elimination in multiplicative linear logic. Abstract: we give a fresh perspective to Girard's Geometry of Interaction program which seeks to find a model of linear logic where cut-equivalent terms are not interpreted identically, but instead are related inside the model via some domestic transformation. Our model interprets proofs as coordinate rings, where the quotient ideals describe the patterns of equality previously mentioned. The ideals of two different proofs which are related via cut-reduction are then related by the (pre-existing) Buchberger Algorithm, which is used to compute Gröbner bases from generating sets for ideals. I would also like to take this opportunity to announce that Eric Hoffbeck has kindly volunteered to present for the group on 02/12 or 09/12 or both. Details of that will be announced next week. --- Damiano est malade, donc nous allons accueillir Will Troiani *demain à 10h30 dans B107*, et sur BBB. Je prends cette opportunité d'annoncer que Eric Hoffbeck fera un exposé chez nous ou le 2, ou le 9 Décembre (ou les deux). Les détails seront annoncé la semaine prochaine. Amicalement, Morgan On 07/11/2022 14:03, Morgan Rogers wrote: > > Hello again! > > Here is the corrected schedule for the upcoming events in the working > group, bearing in mind that /11/11 is a national holiday/... > Everything will take 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 > > 18/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/. > > 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. > > 02/12: *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! > > 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 corrigé des prochains événements du groupe de > travail, sachant que le /11/11 est un jour férié/... Tout se déroulera > comme d'habitude les *vendredi à 10h30 *dans*B107* de l'Institut > Galilée (à Villetaneuse), et sur BBB, https://bbb.lipn.univ-paris13. > fr/b/rog-vao-uwm-s2j > > 18/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. > > 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. > > 02/12 : *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 ! > > 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
by Groupe de travail catégories 07 Nov '22

07 Nov '22

Hello again! Here is the corrected schedule for the upcoming events in the working group, bearing in mind that /11/11 is a national holiday/... Everything will take 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 18/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/. 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. 02/12: *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! 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 corrigé des prochains événements du groupe de travail, sachant que le /11/11 est un jour férié/... Tout se déroulera comme d'habitude les *vendredi à 10h30 *dans*B107* de l'Institut Galilée (à Villetaneuse), et sur BBB, https://bbb.lipn.univ-paris13. fr/b/rog-vao-uwm-s2j 18/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. 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. 02/12 : *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 ! 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