BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Maaike Zwart (University of Oxford)
DTSTART:20201202T140000Z
DTEND:20201202T150000Z
DTSTAMP:20260423T035627Z
UID:OWLS/15
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OWLS/15/">Di
 stributive Laws in the Boom Hierarchy (YR-OWLS)</a>\nby Maaike Zwart (Univ
 ersity of Oxford) as part of Online Worldwide Seminar on Logic and Semanti
 cs (OWLS)\n\n\nAbstract\nDuring my PhD research I have studied distributiv
 e laws for monads\, and developed various no-go theorems. These theorems p
 rove that monads with certain algebraic properties cannot be composed with
  each other via a distributive law. In this talk I will focus on examples\
 , and share the intuition that I have developed from my results. All the e
 xamples in this talk will be based on the Boom hierarchy\, a hierarchy of 
 data structures which lends itself perfectly for the study of monad compos
 itions. Based on which monads in this hierarchy do and do not compose with
  each other via a distributive law\, I will make predictions about the beh
 aviour of monad compositions in general.\n
LOCATION:https://researchseminars.org/talk/OWLS/15/
END:VEVENT
END:VCALENDAR