February 2025 - Categories

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