BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.c3voc.de//qtcat-2026//speaker//FZHR37
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-WDTZ3Q@pretalx.c3voc.de
DTSTART;TZID=CET:20260813T140000
DTEND;TZID=CET:20260813T150000
DESCRIPTION:As a type theorist who hangs out with category theorists\, I am
  always fascinated by what we share and by how we differ. What do some of 
 us fuss over that others just take for granted? I gave a talk at Topos Ins
 titute with some observations in this area five years ago. In this talk\, 
 I'll look at what has changed\, including me\, in those five years. In par
 ticular\, I have experienced the need to have more to say about monoidal s
 tructure - juxtaposition - as well as composition. I'll talk about opportu
 nities and obstacles for using appropriate types to work with these cats.
DTSTAMP:20260812T202110Z
LOCATION:R. 221
SUMMARY:Cats and Types\, Side by Side - Conor Titania Mc Bride
URL:https://pretalx.c3voc.de/qtcat-2026/talk/WDTZ3Q/
END:VEVENT
END:VCALENDAR