@article{KLIN2018261,
    Abstract = {We prove that the double covariant powerset functor PP does not admit any monad structure. The same applies to the n-fold composition of P for any n>1.},
    Author = {Klin, Bartek and Salamanca, Julian},
    File = {1-s2.0-S157106611830094X-main (0) - a - a - b.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {monad, double covariant powerset, distributive law},
    Note = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV)},
    Pages = {261 - 276},
    Title = {Iterated Covariant Powerset is not a Monad},
    URL = {http://www.sciencedirect.com/science/article/pii/S157106611830094X},
    Volume = {341},
    Year = {2018},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S157106611830094X},
    bdsk-url-2 = {https://doi.org/10.1016/j.entcs.2018.11.013},
    date-added = {2019-09-04 11:54:28 +0200},
    date-modified = {2019-09-04 11:54:28 +0200},
    doi = {10.1016/j.entcs.2018.11.013}
}

@article{KLIN2018261, Abstract = {We prove that the double covariant powerset functor PP does not admit any monad structure. The same applies to the n-fold composition of P for any n>1.}, Author = {Klin, Bartek and Salamanca, Julian}, File = {1-s2.0-S157106611830094X-main (0) - a - a - b.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {monad, double covariant powerset, distributive law}, Note = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV)}, Pages = {261 - 276}, Title = {Iterated Covariant Powerset is not a Monad}, URL = {http://www.sciencedirect.com/science/article/pii/S157106611830094X}, Volume = {341}, Year = {2018}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S157106611830094X}, bdsk-url-2 = {https://doi.org/10.1016/j.entcs.2018.11.013}, date-added = {2019-09-04 11:54:28 +0200}, date-modified = {2019-09-04 11:54:28 +0200}, doi = {10.1016/j.entcs.2018.11.013} }