University of Cambridge > > Logic & Semantics for Dummies > Profunctors and coends

Profunctors and coends

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

If you have a question about this talk, please contact Ian Orton.

A profunctor (also called a distributor or a correspondence) is a functor of two variables F : C x C’—> Set, contravariant in one argument and covariant in the other. I will introduce the (bi)category Prof of profunctors, and work through their composition and unit structure in some detail: although the notation looks somewhat formidable, I hope to show that they are actually quite easy to reason with.

Topics covered: - definition of profunctors, the bicategory Prof - Yoneda reduction for computing coends - profunctor composition and identities

Prerequisites: - a vague memory of coends and Kan extensions will be useful, but not necessary - familiarity with functors and other standard categorical definitions

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-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity