BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Ends and coends (AKA &quot\;Cowedges: Endgame&quot\;) - Dima Szamo
 zvancev (University of Cambridge)
DTSTART:20200306T110000Z
DTEND:20200306T120000Z
UID:TALK140707@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Ends and coends are generalisations of many dual constructs ar
 ising in logic\, set theory\, and category theory. They arise as analogues
  of limits and colimits in the context of profunctors\, which are the cate
 gorification of set-theoretic relations. This talk will introduce the mach
 inery required to define ends and coends\, and demonstrate how many common
 place constructions can be defined through this formalism. I will also tal
 k about the co/end calculus\, a formal deductive system that can be used t
 o prove abstract categorical results in a concise\, equational manner.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR