@book(Awodey, author = {Steve Awodey}, year = {2010}, title = {Category Theory}, publisher = {Oxord University Press}, ) @misc(Bauer2019, author = {Andrej Bauer}, year = {2019}, title = {What is algebraic about algebraic effects and handlers?}, eprint = {1807.05923}, ) @inproceedings(Beck1969, author = {Jon Beck}, year = {1969}, title = {Distributive laws}, editor = {B. Eckmann}, booktitle = {Seminar on Triples and Categorical Homology Theory}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {119--140}, doi = {10.1007/BFb0083084}, ) @article(Bohm, author = {B\IeC{\"o}hm, Gabriella and Stephen Lack and Ross Street}, year = {2011}, title = {On the 2-Categories of Weak Distributive Laws}, journal = {Communications in Algebra}, volume = {39}, number = {12}, pages = {4567--4583}, doi = {10.1080/00927872.2011.616436}, ) @inproceedings(Bonchi19, author = {F. {Bonchi} and A. {Sokolova} and V. {Vignudelli}}, year = {2019}, title = {The Theory of Traces for Systems with Nondeterminism and Probability}, booktitle = {2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, pages = {1--14}, doi = {10.1109/LICS.2019.8785673}, ) @inproceedings(Bonchi2021, author = {Filippo Bonchi and Alessio Santamaria}, year = {2021}, title = {Combining Semilattices and Semimodules}, editor = {Stefan Kiefer and Christine Tasson}, booktitle = {Foundations of Software Science and Computation Structures}, publisher = {Springer International Publishing}, address = {Cham}, pages = {102--123}, doi = {10.1109/LICS.2019.8785707}, url = {https://arxiv.org/abs/2012.14778}, ) @inproceedings(Bonchi17b, author = {Filippo Bonchi and Alexandra Silva and Ana Sokolova}, year = {2017}, title = {{The Power of Convex Algebras}}, editor = {Roland Meyer and Uwe Nestmann}, booktitle = {28th International Conference on Concurrency Theory (CONCUR 2017)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {85}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, pages = {23:1--23:18}, doi = {10.4230/LIPIcs.CONCUR.2017.23}, url = {http://drops.dagstuhl.de/opus/volltexte/2017/7796}, ) @article(Garner, author = {Richard Garner}, year = {2020}, title = {The {V}ietoris monad and weak distributive laws}, journal = {Applied Categorical Structures}, volume = {28}, number = {2}, pages = {339--354}, doi = {10.1007/s10485-019-09582-w}, url = {https://arxiv.org/abs/1811.00214}, ) @inproceedings(GoyPetrisan20, author = {Alexandre Goy and Petri\c{s}an, Daniela}, year = {2020}, title = {Combining Probabilistic and Non-Deterministic Choice via Weak Distributive Laws}, booktitle = {Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science}, series = {LICS '20}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, pages = {454\IeC{\textendash}464}, doi = {10.1145/3373718.3394795}, ) @inproceedings(Goy2021, author = {Alexandre Goy and Petri\c{s}an, Daniela and Marc Aiguier}, year = {2021}, title = {{Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces}}, editor = {Nikhil Bansal and Emanuela Merelli and James Worrell}, booktitle = {48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {198}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, pages = {132:1--132:14}, doi = {10.4230/LIPIcs.ICALP.2021.132}, url = {https://drops.dagstuhl.de/opus/volltexte/2021/14201}, ) @inproceedings(Hyland2021, author = {Martin Hyland and Christine Tasson}, year = {2021}, title = {The linear-non-linear substitution 2-monad}, editor = {David I. Spivak and Jamie Vicary}, booktitle = {{\rm Proceedings of the 3rd Annual International} Applied Category Theory Conference 2020, {\rm Cambridge, USA, 6-10th July 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {333}, publisher = {Open Publishing Association}, pages = {215--229}, doi = {10.4204/EPTCS.333.15}, url = {https://arxiv.org/abs/2005.09559}, ) @article(Keimel17, author = {Klaus Keimel and Gordon D. Plotkin}, year = {2017}, title = {{Mixed powerdomains for probability and nondeterminism}}, journal = {{Logical Methods in Computer Science}}, volume = {{Volume 13, Issue 1}}, doi = {10.23638/LMCS-13(1:2)2017}, url = {https://lmcs.episciences.org/2665}, ) @article(Kelly1980, author = {G.M. Kelly}, year = {1980}, title = {A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on}, journal = {Bulletin of the Australian Mathematical Society}, volume = {22}, number = {1}, pages = {1\IeC{\textendash}83}, doi = {10.1017/S0004972700006353}, ) @article(Klin-Salamanca, author = {Bartek Klin and Julian Salamanca}, year = {2018}, title = {Iterated Covariant Powerset is not a Monad}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {341}, pages = {261--276}, doi = {10.1016/j.entcs.2018.11.013}, url = {https://www.sciencedirect.com/science/article/pii/S157106611830094X}, note = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV)}, ) @book(MacLane71, author = {Mac Lane, Saunders}, year = {1971}, title = {Categories for the Working Mathematician}, edition = {2nd}, publisher = {Springer-Verlag}, doi = {10.1007/978-1-4757-4721-8}, ) @inproceedings(MioSarkisVign21, author = {Matteo Mio and Ralph Sarkis and Valeria Vignudelli}, year = {2021}, title = {Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning}, booktitle = {2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, pages = {1--14}, doi = {10.1109/LICS52264.2021.9470717}, url = {https://arxiv.org/abs/2012.00382}, ) @inproceedings(Mislove00, author = {Michael Mislove}, year = {2000}, title = {Nondeterminism and Probabilistic Choice: Obeying the Laws}, editor = {Catuscia Palamidessi}, booktitle = {CONCUR 2000 --- Concurrency Theory}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {350--365}, doi = {10.1007/3-540-44618-4_26}, ) @book(Riehl, author = {Emily Riehl}, year = {2017}, title = {Category Theory in Context}, publisher = {Dover Publications}, url = {http://www.math.jhu.edu/~eriehl/context.pdf}, ) @article(Street, author = {Ross Street}, year = {2009}, title = {Weak distributive laws.}, journal = {Theory and Applications of Categories [electronic only]}, volume = {22}, pages = {313--320}, url = {http://eudml.org/doc/233565}, ) @phdthesis(Tanakathesis, author = {Miki Tanaka}, year = {2004}, title = {Pseudo-distributive laws and a unified framework for variable binding}, school = {Laboratory for the Foundations of Computer Science, School of Informatics, University of Edinburgh}, url = {https://www.lfcs.inf.ed.ac.uk/reports/04/ECS-LFCS-04-438/ECS-LFCS-04-438.pdf}, ) @book(Varacca-PhD, author = {Daniele Varacca}, year = {2003}, title = {Probability, nondeterminism and concurrency: two denotational models for probabilistic computation}, publisher = {BRICS}, url = {https://www.brics.dk/DS/03/14/BRICS-DS-03-14.pdf}, ) @article(Varacca06, author = {Daniele Varacca and Glynn Winskel}, year = {2006}, title = {Distributing probability over non-determinism}, journal = {Mathematical Structures in Computer Science}, volume = {16}, number = {1}, pages = {87\IeC{\textendash}113}, doi = {10.1017/S0960129505005074}, ) @inproceedings(Zwart19, author = {Maaike Zwart and Dan Marsden}, year = {2019}, title = {No-Go Theorems for Distributive Laws}, booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019}, publisher = {{IEEE}}, pages = {1--13}, doi = {10.1109/LICS.2019.8785707}, url = {https://ieeexplore.ieee.org/xpl/conhome/8765678/proceeding}, )