University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Ends and coends (AKA "Cowedges: Endgame")

Ends and coends (AKA "Cowedges: Endgame")

Add to your list(s) Download to your calendar using vCal

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

Ends and coends are generalisations of many dual constructs arising in logic, set theory, and category theory. They arise as analogues of limits and colimits in the context of profunctors, which are the categorification of set-theoretic relations. This talk will introduce the machinery required to define ends and coends, and demonstrate how many commonplace constructions can be defined through this formalism. I will also talk about the co/end calculus, a formal deductive system that can be used to prove abstract categorical results in a concise, equational manner.

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

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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