BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Profunctors - An Introduction - Guilherme Lima de Carvalho e Silva
  (University of Cambridge)
DTSTART:20150507T130000Z
DTEND:20150507T140000Z
UID:TALK59437@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:Profunctors are to functors what relations are to functions. I
  will define the bicategory of profunctors\, show how Cat can embed into i
 t\, and how it is equivalent to the comma category Cat/2. We shall also se
 e how every functor has a right adjoint as a profunctor.\n\nThis talk will
  be very elementary\, and prior knowledge of Kan extensions is helpful but
  not entirely necessary.\n
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR