Rémy Cerda
I2M, AMU
https://www.i2m.univ-amu.fr/perso/remy.cerda/
Date(s) : 17/11/2022 iCal
17 h 00 min - 18 h 30 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 (two ore more?) talks, I’ll try to present category theory “pour les enfants” by telling a few easy stories about it.
The first story is about the induction principle, which can be reformulated as a direct consequence of the initiality of ℕ as an algebra for the polynomial functor 1 + X in Set. To show this, I’ll start with a minimal introduction to categories and provide the few needed definitions (initiality, products and coproducts, algebras for a functor). Depending on the time left, we’ll see how to define other well(?)-known inductive structures, and maybe we’ll dualise all that stuff to obtain coinductive objects.
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
Site Sud, Luminy, Ancienne BU, Salle Séminaire2 (RdC)
Catégories