BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Semantics of monad transformers - Andrej Ivaskovic (Department of 
 Computer Science and Technology\, University of Cambridge)
DTSTART:20210326T110000Z
DTEND:20210326T120000Z
UID:TALK158590@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Monad transformers are the idiomatic way of composing computat
 ional \neffects in pure functional languages -- for example\, we use them 
 to \nrepresent computations that are both stateful and possibly failing. \
 nSurprisingly little has been written about their categorical \ninterpreta
 tion outside of work by Mauro Jaskelioff. In this talk I will \ntalk about
  the concept of monoid transformers (due to Jaskelioff and \nMoggi) and ho
 w they subsume monad transformers. Familiarity with monads \nand monoidal 
 categories is assumed.
LOCATION:https://meet.google.com/jxy-edcv-wgx
END:VEVENT
END:VCALENDAR