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

  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

Ends and coends (AKA "Cowedges: Endgame")

Download to your calendar using vCal

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:

Note that ex-directory lists are not shown.

Other lists

LMB MRC Milner Special Seminars Obstetrics & Gynaecology

Other talks

The role of radiation in cancer care: a spotlight on cancers of the oesophagus, head and neck Talk TBC Ensemble inequivalence for systems with long-range interactions Title to be confirmed Rothschild Public Lecture: Forty years of causal inference: Report of a great-grandfather Wolfson Tool Factory
 

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