BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.c3voc.de//qtcat-2026//talk//TB7KBX
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-TB7KBX@pretalx.c3voc.de
DTSTART;TZID=CET:20260814T140000
DTEND;TZID=CET:20260814T143000
DESCRIPTION:Often we define functors F where each object F(A) satisfies a u
 niversal property\; these could be products\, limits\, colimits\, (co)ends
 \, (co)free objects\, kan extensions\, exponential objects... Usually\, ex
 istence and uniqueness of the mediating morphisms allow you to define the 
 functorial action and verify functoriality\, respectively. But as these co
 nstructions get more complicated\, the diagram-chasing gets more and more 
 tedious\, and one gets the feeling that there should be some universal the
 orem giving functoriality for free.\n\nThis talk will show such a silver b
 ullet _does_ exist! In these situations of a **parametrised family of univ
 ersal properties** there is an economical\, "maximally lazy" way to define
  your functors on objects\, and deduce the action on morphisms.
DTSTAMP:20260812T210544Z
LOCATION:R. 221
SUMMARY:Parametrised Representability - Ruby Khondaker
URL:https://pretalx.c3voc.de/qtcat-2026/talk/TB7KBX/
END:VEVENT
END:VCALENDAR