Ends and coends (AKA "Cowedges: Endgame")

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

• Dima Szamozvancev (University of Cambridge)
• Friday 06 March 2020, 11:00-12:00
• Rainbow Room (FS07), Computer Laboratory.

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

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.

This talk is included in these lists:

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.