BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Karoubi envelopes\, semifunctors\, and the extensional lambda calc
 ulus - Nathanael Arkor (University of Cambridge)
DTSTART:20201127T110000Z
DTEND:20201127T120000Z
UID:TALK153721@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:We take a dive into the world of semicategories\, a place in w
 hich categories lose their sense of identity. Here\, we can re-enact the s
 tory of the (nonextensional) simply-typed lambda calculus and cartesian-cl
 osed (semi)categories\, so long as we are happy to abandon the eta-laws. F
 ortunately\, not all is lost\, as the Karoubi envelope construction gives 
 us a canonical way to perform extensional completions of type theories.
LOCATION:https://meet.google.com/jxy-edcv-wgx
END:VEVENT
END:VCALENDAR