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:4750@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20230420T170000
DTEND;TZID=Europe/Paris:20230420T180000
DTSTAMP:20241124T134821Z
URL:https://www.i2m.univ-amu.fr/evenements/des-histoires-de-categories-3-o
 u-p%e2%88%a7q%e2%82%81%e2%88%a8q%e2%82%82-%e2%87%94-p%e2%88%a7q%e2%82%81%e
 2%88%a8p%e2%88%a7q%e2%82%82/
SUMMARY: (...): Des histoires de catégories (3\, où P∧[Q₁∨Q₂] ⇔
  [P∧Q₁]∨[P∧Q₂])
DESCRIPTION:: 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.\nThe third story is about adju
 nctions\, a key concept of category theory that underlies many well-known 
 mathematical constructions. Showing that your favorite mathematical situat
 ion is an adjunction enables you to use some powerful unifying theorems fr
 om category theory\, for instance “the left and right fix-point subcateg
 ories of an adjunction are equivalent”\, or “right adjoints preserve c
 olimits”. Our goal is to use the latter to prove the well-known distribu
 tivity law:\nP∧(Q₁∨Q₂) ⇔ (P∧Q₁)∨(P∧Q₂)\nTo do so\, I'l
 l first recall the basics of category theory (no need to remember the firs
 t two talks!)\, then we'll discover what an adjunction is and where to fin
 d some at little cost\, and hopefully there will be some time left to writ
 e a theorem or two.\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)formel\, dans un cadre convivial. I
 l est évidemment ouvert aux étudiant⋅es de master et aux doctorant⋅e
 s d'autres laboratoires.\n\nC'est au rez-de-chaussée du bâtiment de « l
 'ancienne BU »\, dans la salle « Séminaire 2 » (au fond à gauche en s
 ortant 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éce
 ssite un badge. En cas de souci (de type : être bloqué⋅e dehors)\, app
 eler le 04 91 26 95 91.
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:DAYLIGHT
DTSTART:20230326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR