Rencontre, 3 avril 2025
This CHoCoLa meeting is partially canceled, to mark the day in relation with the Stand Up For Science movement.
We will have one talk instead of three.
Programme
-
Chase Ford (Universiteit Leiden, NL)Invited talk: Algebraic reasoning in locally presentable categories
A seminal result in category theory is the Lawvere-Linton correspondence between the equational theories of Birkhoff and (finitary) monads on the category of sets. Over the last decade, several variants of this result have been established in numerous settings including the category of posets and the category of metric spaces. The aim of this talk is to discuss a generic framework of universal algebra in categories of relational structures given by models of the (infinitary) limit-theories of Coste and Rosický: these are perhaps better known as locally presentable categories. We will sketch the construction of an enriched and accessible monad from a given relational algebraic theory.
The content of this talk emerged from joint work with Lutz Schröder and Stefan Milius: https://arxiv.org/abs/2107.03880.
- 3 avril 2025, 10:30
-
The notion of categorical model of linear logic is now well studied and established around the notion of linear-non-linear adjunction, which encompasses the previous notions of Seely categories, Lafont categories and linear categories. These categorical structures have counterparts in the realm of ∞-categories, which can thus be thought of as "weak", or "homotopical" models of linear logic. In this talk, we give a tour of categorical semantics of linear logic, and show examples of ∞-categorical models generalizing polynomial functors, generalized species, and models from linear algebra.
-
Josselin Poiret [THE TALK IS POSTPONED TO A LATER CHOCOLA MEETING] (Galinette, INRIA)
