BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:5883@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20221117T170000
DTEND;TZID=Europe/Paris:20221117T183000
DTSTAMP:20241120T200646Z
URL:https://www.i2m.univ-amu.fr/evenements/des-histoires-de-categories-1-o
 u-lon-decouvre-le-principe-de-recurrence/
SUMMARY:Rémy Cerda (I2M\, AMU): Des histoires de catégories (1\, où l'on
  découvre le principe de récurrence)
DESCRIPTION:Rémy Cerda: Category theory is a mathematical framework develo
 pped since the 1940s to provide a general description of “relations betw
 een objects”\, which has been fruitfully used since then e.g. in algebra
 \, topology\, discrete maths\, mathematical logic\, etc.\nIn this series o
 f (two ore more?) talks\, I'll try to present category theory “pour les 
 enfants” by telling a few easy stories about it.\nThe first story is abo
 ut the induction principle\, which can be reformulated as a direct consequ
 ence 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 catego
 ries and provide the few needed definitions (initiality\, products and cop
 roducts\, algebras for a functor). Depending on the time left\, we'll see 
 how to define other well(?)-known inductive structures\, and maybe we'll d
 ualise all that stuff to obtain coinductive objects.\n&nbsp\;\n\n\n\nLe 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)f
 ormel\, dans un cadre convivial. Il est évidemment ouvert aux étudiant
 ⋅es de master et aux doctorant⋅es d'autres laboratoires.\n\nC'est au r
 ez-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). Atte
 ntion : l'entrée dans le labo nécessite un badge. En cas de souci (de ty
 pe : être bloqué⋅e dehors)\, appeler le 04 91 26 95 91.
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 022/10/image_seminar-doc-Mathematical_induction-Domino_effect-wiki.jpg
CATEGORIES:Séminaire,Rencontres doctorant⋅es I2M-CPT
LOCATION:I2M Luminy - Ancienne BU\, Salle Séminaire2 (RdC)\, 163 Avenue de
  Luminy\, 13009 Marseille\, France\, 
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, 1300
 9 Marseille\, France\, ;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - Ancienne B
 U\, Salle Séminaire2 (RdC):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20221030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR