BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Joël Riou (Paris-Saclay University)
DTSTART:20260123T163000Z
DTEND:20260123T170000Z
DTSTAMP:20260420T025738Z
UID:LT2026/45
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/45/">
 Formalization of homotopy theory in Lean</a>\nby Joël Riou (Paris-Saclay 
 University) as part of Lean Together 2026\n\n\nAbstract\nModel categories 
 structures introduced by Quillen are a framework in order to do homotopy t
 heory. In this talk\, I will outline my formalization of the model categor
 y structures on the categories of topological spaces and simplicial sets.\
 n
LOCATION:https://researchseminars.org/talk/LT2026/45/
END:VEVENT
END:VCALENDAR