Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "PP is not a monad"

by Bartek Klin

Fri, 06 July 2018 at 02:00 pm in Royal Holloway, United Kingdom

Joint work with: Julian Salamanca

Abstract: PP, the double covariant powerset functor, does not admit any monad structure. The same applies to P^n, the n-fold composition of P.