Rémy Cerda
I2M, Aix-Marseille Université
https://www.i2m.univ-amu.fr/perso/remy.cerda/
Date(s) : 20/04/2023 iCal
17 h 00 min - 18 h 00 min
Category theory is a mathematical framework developped since the 1940s to provide a general description of “relations between objects”, which has been fruitfully used since then e.g. in algebra, topology, discrete maths, mathematical logic, etc. In this series of (three ore more?) talks, I’ll try to present category theory “pour les enfants” by telling a few easy stories about it.
The third story is about adjunctions, a key concept of category theory that underlies many well-known mathematical constructions. Showing that your favorite mathematical situation is an adjunction enables you to use some powerful unifying theorems from category theory, for instance “the left and right fix-point subcategories of an adjunction are equivalent”, or “right adjoints preserve colimits”. Our goal is to use the latter to prove the well-known distributivity law:
P∧(Q₁∨Q₂) ⇔ (P∧Q₁)∨(P∧Q₂)
To do so, I’ll first recall the basics of category theory (no need to remember the first two talks!), then we’ll discover what an adjunction is and where to find some at little cost, and hopefully there will be some time left to write a theorem or two.
Le séminaire des doctorant⋅es de l’I2M et du CPT à Luminy regroupe chaque semaine les doctorant⋅es du site autour d’un exposé plus ou moins (in)formel, dans un cadre convivial. Il est évidemment ouvert aux étudiant⋅es de master et aux doctorant⋅es d’autres laboratoires.
C’est au rez-de-chaussée du bâtiment de « l’ancienne BU », dans la salle « Séminaire 2 » (au fond à gauche en sortant de l’escalier si vous venez de l’étage, au fond à droite si vous entrez par le rez-de-chaussée). Attention : l’entrée dans le labo nécessite un badge. En cas de souci (de type : être bloqué⋅e dehors), appeler le 04 91 26 95 91.
Emplacement
Amphi 5 - TPR2 (room 500-504, fifth floor)
Catégories