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