BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.c3voc.de//qtcat-2026//speaker//SDUTCD
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-qtcat-2026-LARUFT@pretalx.c3voc.de
DTSTART;TZID=CET:20260813T100000
DTEND;TZID=CET:20260813T110000
DESCRIPTION:Invertibility is a crucial notion in category theory\, providin
 g the correct notion of sameness for objects within a category and equival
 ences of categories. This notion readily generalises to finite-dimensional
  higher categories inductively by replacing equalities with higher dimensi
 onal isomorphisms. The situation becomes more subtle with infinite-dimensi
 onal categories where there are different notions of invertibility. In thi
 s talk\, we will give an introduction to weak ω-categories and we will st
 udy coinductively invertible cells within them. We will then describe comp
 utads with invertible generators as data for freely generating ω-categori
 es.
DTSTAMP:20260812T202113Z
LOCATION:R. 221
SUMMARY:Coinductive invertibility in higher categories - Ioannis Markakis
URL:https://pretalx.c3voc.de/qtcat-2026/talk/LARUFT/
END:VEVENT
END:VCALENDAR