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. ----------------------------------