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:4280@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220519T110000
DTEND;TZID=Europe/Paris:20220519T123000
DTSTAMP:20220511T093359Z
URL:https://www.i2m.univ-amu.fr/evenements/univalence-dans-la-categorie-de
 s-categories/
SUMMARY:Félix Loubaton (Laboratoire J. A. Dieudonné\, Nice): Univalence d
 ans la catégorie des catégories
DESCRIPTION:Félix Loubaton: En s'inspirant de la théorie des types homoto
 piques\, on définira la notion d'univers et d'univalence dans la catégor
 ie des catégories. On essayera ensuite de montrer que tout univers est fo
 rcément univalent. L'objectif est de faire une telle preuve en utilisant 
 uniquement le langage catégorique ainsi que certains axiomes vérifiés p
 ar la catégorie des catégories.
CATEGORIES:Séminaire,Logique et Interactions
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:20220327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR