- Categories - Listes du LIPN

Dernier groupe de lecture
by Groupe de travail catégories 03 Mar '25

03 Mar '25

Bonjour, Je voudrais tenir le dernier groupe de lecture sur le texte de Cisinski et al. ce mercredi 05 mars à 10h30 en B107. Le format sera comme précédemment mais je voudrais résumer nos commentaires pour les envoyer aux auteurs (en espérant que cela résultera dans l'éventuel amélioration du livre). Suivi en ligne: https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j Lien vers le texte: https://drive.google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view Annonce importante: Flavien et Eric organisent une journée MathSTIC sur la thématique des catégories en juin. Si vous aurez des idées d'orateurs (ou vous voulez y faire un exposé) n'hésitez pas à me contacter (ou leur contacter directement si vous préférez). --- I would like to hold the last reading group on the text of Cisinski et al. this Wednesday, March 5 at 10:30 in B107. The format will be as before but I would like to summarize our comments to send them to the authors (hoping that this will result in the possible improvement of the book). Links above. Important announcement: Flavien and Eric are organizing a MathSTIC day on the theme of categories in June. If you have ideas for speakers (or want to give a talk there) do not hesitate to contact me (or contact them directly if you prefer). Best wishes, Morgan

1 0

Re: [GdT Categories] Séminaire LoCal et GdT Catégories
by Groupe de travail catégories 12 Feb '25

12 Feb '25

Un rappel pour le séminaire dans une demi-heure pour ceux/celles qui seront intéressé.e.s! Bonne journée, Morgan ROGERS Le 2025-02-10 11:23, Morgan Rogers a écrit : > Bonjour à tou.te.s, > > J'ai le plaisir d'annoncer que ce mercredi 12/02 à 10h30 en B107, nous > accueillerons Shin-Ya Katsumata (actuellement en visite du japon) pour > une séance conjointe entre le groupe de travail catégories et le > séminaire de l'équipe LoCal du LIPN. Titre et abstract ci-dessous. > > Vous pourriez suivre en ligne ici (attention que ce n'est pas la meme > salle BBB que d'habitude pour de GdT catégories): > https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 > > --- > > I am pleased to announce that this Wednesday 12/02 at 10:30 in B107, we > will welcome Shin-Ya Katsumata (currently visiting from Japan) for a > joint session between the Categories Working Group and the LIPN LoCal > Team Seminar. Title and abstract below. > > You can follow online here (beware that this is not the same BBB room > as usual for GdT categories): > https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 > > Title: Monadic Models of Hoare Logic > > Abstract: I will talk about the semantics of program logic built upon > monadic > models of computational effects. Especially, I will introduce the > weakest precondition predicate transformers associated with monadically > modeled programs. There, the notion of correctness of Hoare triples is > related with predicate liftings of monads. We show that the weakest > precondition predicate transformers are compositional if and only if > the predicate lifting is Cartesian. This talk is based on a joint work > with Alejandro Aguirre and Satoshi Kura, published as MFPS '20 and > MSCS '22. > > See you there! > Morgan

1 0

Séminaire LoCal et GdT Catégories
by Groupe de travail catégories 10 Feb '25

10 Feb '25

Bonjour à tou.te.s, J'ai le plaisir d'annoncer que ce mercredi 12/02 à 10h30 en B107, nous accueillerons Shin-Ya Katsumata (actuellement en visite du japon) pour une séance conjointe entre le groupe de travail catégories et le séminaire de l'équipe LoCal du LIPN. Titre et abstract ci-dessous. Vous pourriez suivre en ligne ici (attention que ce n'est pas la meme salle BBB que d'habitude pour de GdT catégories): https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 --- I am pleased to announce that this Wednesday 12/02 at 10:30 in B107, we will welcome Shin-Ya Katsumata (currently visiting from Japan) for a joint session between the Categories Working Group and the LIPN LoCal Team Seminar. Title and abstract below. You can follow online here (beware that this is not the same BBB room as usual for GdT categories): https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 Title: Monadic Models of Hoare Logic Abstract: I will talk about the semantics of program logic built upon monadic models of computational effects. Especially, I will introduce the weakest precondition predicate transformers associated with monadically modeled programs. There, the notion of correctness of Hoare triples is related with predicate liftings of monads. We show that the weakest precondition predicate transformers are compositional if and only if the predicate lifting is Cartesian. This talk is based on a joint work with Alejandro Aguirre and Satoshi Kura, published as MFPS '20 and MSCS '22. See you there! Morgan

1 0

exposé de Cisinski au colloquium du Laboratoire de Mathématiques de Lens
by Groupe de travail catégories 05 Feb '25

05 Feb '25

Bonjour, Comme je l’ai dit la semaine dernière lors du groupe de travail, Denis-Charles Cisinski donnera un exposé ayant pour titre: « La théorie des ∞-catégories comme fondation des mathématiques » au colloquium du Laboratoire de Mathématiques de Lens, le jeudi 13 février, à 14h. Il se déroulera en ligne. Un résumé et les informations de connexion se trouvent ici: http://lml.univ-artois.fr/public/evenements/colloquium/2025/02/13/cisinski.… Cet exposé est destiné à être accessible à un public non spécialisé. Bien cordialement, Baptiste Calmès

1 0

Groupe de lecture demain
by Groupe de travail catégories 04 Feb '25

04 Feb '25

Bonjour, La prochaine séance du groupe de lecture se tiendra demain mercredi 05/02, à 10h30. Les deux salles (B107 et A303) étant réservés, nous virtualiserons. https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j Lien vers le texte: https://drive.google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view La semaine suivante, on accueillera Shin-ya Katsumata, actuellement en visite au LIPN, qui présentera ses travaux liées aux catégories; je relancerai les détails après la séance demain. --- I will lead the reading group tomorrow (Wednesday 04/02) at 10:30am, online, links above. Next week, we will welcome Shin-ya Katsumata, currently visiting LIPN, who will present his work related to categories. I will follow up with the details after the session tomorrow. See you there! Morgan

1 0

GdT aujourd'hui
by Groupe de travail catégories 29 Jan '25

29 Jan '25

Bonjour, La prochaine séance du groupe de lecture se tiendra aujourd'hui, mercredi 29 janvier, à 10h30 en B107. Le format sera comme la dernière fois, lecture directe avec discussion. Suivi en ligne: https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j Lien vers le texte: https://drive.google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view On pourra cette fois-ci vraiment prendre l'opportunité de discuter d'autres voies pour le GdT ce semestre. --- I will lead the reading group today, wednesday 29 jan at 10:30am in B107. The format will be as last time, reading directly from the text and discussing. Links above. See you there! Morgan

1 1

Groupe de lecture mercredi
by Groupe de travail catégories 22 Jan '25

22 Jan '25

Bonjour, La prochaine séance du groupe de lecture se tiendra (enfin) ce mercredi 15 janvier, à 10h30 en B107. Le format sera comme la dernière fois, lecture directe avec discussion. Suivi en ligne: https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j Lien vers le texte: https://drive.google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view On pourra prendre l'opportunité de discuter d'autres voies pour le GdT ce semestre. --- I will lead the reading group on wednesday 15 jan at 10:30am in B107. The format will be as last time, reading directly from the text and discussing. Links above. We can take the opportunity to discuss other topics for the working group this semester. See you there! Morgan

1 3

Je ne suis pas là
by Groupe de travail catégories 11 Dec '24

11 Dec '24

Hi all, The reason I haven't sent an email this week is that I am away on missions and then holidays until the end of the year. If someone wants to lead a continuation of the reading group in the following weeks, they are welcome to! Otherwise, see you in the new year :) Morgan

1 0

pas de GdT demain
by Groupe de travail catégories 04 Dec '24

04 Dec '24

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

1 7

Reading group demain
by Groupe de travail catégories 27 Nov '24

27 Nov '24

Bonjour, J'ai réservé la salle A303 pour le groupe de lecture demain (la B107 est prise pour une soutenance de thèse). On se retrouvera à partir de 10h30, et je serai en connection sur bbb aussi: https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j Lien vers le texte: https://drive.google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view Pour ceux qui n'étaient pas présents la dernière fois, nous sommes arrivés jusqu'au principe d'isomorphisme dans le chapitre 1. --- I have reserved room A303 for the next reading group session (B107 is unavailable). We will start at 10.30 am; see above for links. Best wishes, Morgan

1 1