BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Some categories arising in the semantics of state and exceptions -
  Paul Blain Levy (University of Birmingham)
DTSTART:20090303T141500Z
DTEND:20090303T154500Z
UID:TALK17314@talks.cam.ac.uk
CONTACT:Richard Garner
DESCRIPTION:We look at the following categories\, and explore their connec
 tions:\n\n- the category of monads that support exceptions\n- Plotkin and 
 Power's category of lookup-update algebras\n- Oles' category of expansions
 \n- the double category of concrete expansions\n- the category of finite s
 ets and injections\n- the category of finite sets and injections with init
 ializations\n
LOCATION:MR3\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR