University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Karoubi envelopes, semifunctors, and the extensional lambda calculus

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Karoubi envelopes, semifunctors, and the extensional lambda calculus

Download to your calendar using vCal

If you have a question about this talk, please contact Nathanael Arkor .

We take a dive into the world of semicategories, a place in which categories lose their sense of identity. Here, we can re-enact the story of the (nonextensional) simply-typed lambda calculus and cartesian-closed (semi)categories, so long as we are happy to abandon the eta-laws. Fortunately, not all is lost, as the Karoubi envelope construction gives us a canonical way to perform extensional completions of type theories.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

What Cobra Beer, Dyson and Raspberry Pi have in common SCR, St. Catherine's College CSER Public Lectures

Other talks

Task performance predicts the substitution of feedforward by feedback drive in visual cortex Title TBC Wolfson Tool Factory Title to be confirmed Tea and Coffee Break Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity