BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Category Theory Seminar
SUMMARY:2-Monads for Differential Calculus - Martin Hyland
\, University of Cambridge
DTSTART;TZID=Europe/London:20100216T141500
DTEND;TZID=Europe/London:20100216T154500
UID:TALK23381AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/23381
DESCRIPTION:One approach to algebra from an advanced standpoin
t is based on Kleisli bicategories. Various flavou
rs of substitution are captured by suitable 2-mona
ds. This point of view has many applications. In t
his talk based on joint work with Christine Tasson
I present an application to the substitutions nee
ded to support the Ehrhard-Regnier differential la
mbda calculus. For that one needs to combine the f
ree symmetric monoidal category 2-monad with the 2
-monad for finite products. Known combinations (vi
a distributive laws\, tensor or sum) are of no hel
p. I shall establish the existence of a general co
limit construction on 2-monads\, which does produc
e the desired 2-monad
LOCATION:MR9\, Centre for Mathematical Sciences
CONTACT:Nathan Bowler
END:VEVENT
END:VCALENDAR