BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.c3voc.de//qtcat-2026//talk//M8E3PD
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-M8E3PD@pretalx.c3voc.de
DTSTART;TZID=CET:20260813T120000
DTEND;TZID=CET:20260813T123000
DESCRIPTION:Given a category C and a class of "weak equivalences" W in C\, 
 the morphisms in the localization Ho(C) of C at W generally consist of "zi
 gzags" of maps in C and W of arbitrary length. In certain good cases\, how
 ever\, any morphism in Ho(C) is represented by a span of a leftward pointi
 ng weak equivalence followed by a rightward pointing map in C. It is known
  that these good cases yield a similar calculus of fractions in the contex
 t of infinity-categories and infinity-categorical localization. We aim to 
 describe an alternative proof of this fact using a special kind of cocarte
 sian fibration. If time permits\, we describe how this approach gives a qu
 ick proof that the underlying infinity-category of a fibration category  (
 resp. model of homotopy type theory with appropriate type constructors) ha
 s finite limits (resp. is locally cartesian closed).
DTSTAMP:20260812T210545Z
LOCATION:R. 221
SUMMARY:The calculus of fractions via cocartesian fibrations - Daniël Apol
  (they/them)
URL:https://pretalx.c3voc.de/qtcat-2026/talk/M8E3PD/
END:VEVENT
END:VCALENDAR