BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Polynomial functors - Nicola Gambino
DTSTART:20081121T140000Z
DTEND:20081121T150000Z
UID:TALK13958@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:Joint work with Joachim Kock (Barcelona).\n\nThe theory of pol
 ynomial functors provides a general framework to study the universal prope
 rties of recursive sets\, such as sets of wellfounded trees. One important
  fact in this theory is that every polynomial functor has an associated fr
 ee monad\, characterized by an evident universal property. Our main result
  shows how the free monad on a polynomial functor enjoys also another\, le
 ss evident\, universal property\, which is most elegantly expressed by org
 anizing polynomial functors in a double category.
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR