BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Felix Cherubini
DTSTART:20210625T150000Z
DTEND:20210625T163000Z
DTSTAMP:20260409T065717Z
UID:DifCohTop/9
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/9/
 ">Homotopy type theory</a>\nby Felix Cherubini as part of Differential Coh
 esive Topos\n\n\nAbstract\nHomotopy Type Theory (HoTT) is a language that 
 describes what can be done with the objects of one fixed infinity-topos. T
 he goals of my talk will be to give a sense what working in HoTT is like a
 nd what the scope of this approach to higher structures is.\n
LOCATION:https://researchseminars.org/talk/DifCohTop/9/
END:VEVENT
END:VCALENDAR