BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Unwirings and exponentiability. - Nathan Bowler (University of Cam
 bridge)
DTSTART:20100202T141500Z
DTEND:20100202T154500Z
UID:TALK23139@talks.cam.ac.uk
CONTACT:Nathan Bowler
DESCRIPTION:A monad T may be intuitively thought of as specifying some con
 structions by means of which things can be combined together. An unwiring 
 of an object A with respect to the monad T is\, in this conceptual framewo
 rk\, a way to take the things in A apart according to the same constructio
 ns. Unwirings arise naturally as horizontal monads in the construction of 
 categories of games using fc-multicategories. I'll explain what an unwirin
 g is\, how they pick out a well-behaved class of exponentiable algebras\, 
 and why that is useful.\n
LOCATION:MR9\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR