Profunctors and coends

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

• Philip Saville (University of Cambridge)
• Friday 08 April 2016, 11:00-12:00
• Rainbow Room (FS07), Computer Laboratory.

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.

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.