BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY: PP is not a monad - Bartek Klin\, Warsaw University
DTSTART:20181120T140000Z
DTEND:20181120T150000Z
UID:TALK113266@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:Correcting a persistent mistake from the literature\, we prove
  that PP\, the composition of the covariant powerset monad P with itself\,
  does not admit any monad structure. The same applies to the n-fold compos
 ition of P for any n > 1. As a consequence\, P does not have any distribut
 ive law over itself\, and it motivates a search for sufficient conditions 
 for a monad to have a distributive law over P.
LOCATION:FW26
END:VEVENT
END:VCALENDAR