@inproceedings(AlvarezPicallo2022, author = {Alvarez-picallo, Mario and Dan Ghica and David Sprunger and Fabio Zanasi}, year = {2022}, title = {Rewriting for Monoidal Closed Categories}, booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)}, volume = {228}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany}, pages = {29:1--29:0}, doi = {10.4230/LIPIcs.FSCD.2022.29}, ) @article(Baker1991, author = {Richard Baker}, year = {1991}, title = {“Lebesgue measure” on $\mathbb{R}^{\infty}$}, journal = {Proceedings of the American Mathematical Society}, volume = {113}, number = {4}, pages = {1023--1029}, doi = {10.2307/2048779}, ) @book(Bogachev2007, author = {V.~I. Bogachev}, year = {2007}, title = {Measure theory}, publisher = {Springer}, address = {Berlin; New York}, doi = {10.1007/978-3-540-34514-5}, ) @inproceedings(Bonchi2016, author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Paweł Sobociński and Fabio Zanasi}, year = {2016}, title = {Rewriting modulo symmetric monoidal structure}, booktitle = {Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher = {ACM}, address = {New York NY USA}, pages = {710–719}, doi = {10.1145/2933575.2935316}, url = {https://dl.acm.org/doi/10.1145/2933575.2935316}, ) @inproceedings(Capucci2021, author = {Matteo Capucci and Bruno Gavranovi{\'{c}} and Jules Hedges and Eigil~Fjeldgren Rischel}, year = {2021}, title = {{Towards foundations of categorical cybernetics}}, booktitle = {Applied Category Theory Conference (ACT 2021)}, publisher = {EPTCS}, pages = {235--248}, url = {http://arxiv.org/abs/2105.06332}, ) @misc(Capucci2022, author = {Matteo Capucci and Bruno Gavranović}, year = {2022}, title = {Actegories for the Working Amthematician}, ) @article(Chater2006, author = {Nick Chater and Joshua~B Tenenbaum and Alan Yuille}, year = {2006}, title = {Probabilistic models of cognition: Conceptual foundations}, journal = {Trends in cognitive sciences}, volume = {10}, number = {7}, pages = {287--291}, doi = {10.1016/j.tics.2006.05.008}, ) @article(ChoJacobs2019, author = {Kenta Cho and Bart Jacobs}, year = {2019}, title = {Disintegration and Bayesian inversion via string diagrams}, journal = {Mathematical Structures in Computer Science}, volume = {29}, number = {7}, pages = {938--971}, doi = {10.1017/S0960129518000488}, ) @article(Cranmer2020, author = {Kyle Cranmer and Johann Brehmer and Gilles Louppe}, year = {2020}, title = {The frontier of simulation-based inference}, journal = {Proceedings of the National Academy of Sciences}, volume = {117}, number = {48}, pages = {30055--30062}, doi = {10.1073/pnas.1912789117}, ) @article(Dash2023, author = {Swaraj Dash and Younesse Kaddar and Hugo Paquet and Sam Staton}, year = {2023}, title = {Affine monads and lazy structures for bayesian programming}, journal = {Proceedings of the ACM on Programming Languages}, volume = {7}, number = {POPL}, pages = {1338--1368}, doi = {10.1145/3571239}, ) @book(Fremlin2010b, author = {David~H. Fremlin}, year = {2010}, title = {Measure theory. 2: Broad foundations}, edition = {2. ed}, publisher = {Torres Fremlin}, address = {Colchester}, ) @article(Friston2017, author = {Karl Friston and Thomas FitzGerald and Francesco Rigoli and Philipp Schwartenbeck and Giovanni Pezzulo}, year = {2017}, title = {Active inference: a process theory}, journal = {Neural computation}, volume = {29}, number = {1}, pages = {1--49}, doi = {10.1162/NECO_a_00912}, ) @article(Fritz2020, author = {Tobias Fritz}, year = {2020}, title = {A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics}, journal = {Advances in Mathematics}, volume = {370}, pages = {107239}, doi = {10.1016/j.aim.2020.107239}, ) @article(FritzKlingler2023, author = {Tobias Fritz and Andreas Klingler}, year = {2023}, title = {The d-Separation Criterion in Categorical Probability}, journal = {Journal of Machine Learning Research}, volume = {24}, number = {46}, pages = {1--49}, ) @article(FritzLiang2023, author = {Tobias Fritz and Wendong Liang}, year = {2023}, title = {Free gs-Monoidal Categories and Free Markov Categories}, journal = {Applied Categorical Structures}, volume = {31}, number = {2}, pages = {21}, doi = {10.1007/s10485-023-09717-0}, ) @article(Gallo1993, author = {Giorgio Gallo and Giustino Longo and Stefano Pallottino and Sang Nguyen}, year = {1993}, title = {Directed hypergraphs and applications}, journal = {Discrete Applied Mathematics}, volume = {42}, number = {2–3}, pages = {177–201}, doi = {10.1016/0166-218X(93)90045-P}, ) @inproceedings(Giry1982, author = {Michèle Giry}, year = {1982}, title = {A categorical approach to probability theory}, editor = {B.~Banaschewski}, booktitle = {Categorical Aspects of Topology and Analysis}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {68–85}, doi = {10.1007/BFb0092872}, ) @inproceedings(Heunen2017, author = {Chris Heunen and Ohad Kammar and Sam Staton and Hongseok Yang}, year = {2017}, title = {A convenient category for higher-order probability theory}, booktitle = {Proceedings - Symposium on Logic in Computer Science}, pages = {1--12}, doi = {10.1109/LICS.2017.8005137}, note = {ArXiv: 1701.02547 Citation Key: Heunen2017 ISSN: 10436871}, ) @book(Ito1984, author = {Kiyosi It{\^o}}, year = {1984}, title = {An Introduction to Probability Theory}, publisher = {Cambridge University Press}, doi = {10.1017/9781139171809}, ) @article(Lake2017, author = {Brenden~M Lake and Tomer~D Ullman and Joshua~B Tenenbaum and Samuel~J Gershman}, year = {2017}, title = {Building machines that learn and think like people}, journal = {Behavioral and brain sciences}, volume = {40}, pages = {e253}, doi = {10.1017/S0140525X16001837}, ) @article(Levine2018, author = {Sergey Levine}, year = {2018}, title = {Reinforcement learning and control as probabilistic inference: Tutorial and review}, journal = {arXiv preprint arXiv:1805.00909}, ) @article(vanDeMeent2018, author = {Jan-Willem van~de Meent and Brooks Paige and Hongseok Yang and Frank Wood}, year = {2018}, title = {An introduction to probabilistic programming}, journal = {arXiv preprint arXiv:1809.10756}, ) @article(Naesseth2019, author = {Christian~A Naesseth and Fredrik Lindsten and Thomas~B Schon}, year = {2019}, title = {Elements of Sequential Monte Carlo}, journal = {Foundations and Trends in Machine Learning}, volume = {12}, number = {3}, pages = {187--306}, doi = {10.1561/2200000074}, ) @article(Pearl2012, author = {Judea Pearl}, year = {2012}, title = {The causal foundations of structural equation modeling}, journal = {Handbook of structural equation modeling}, pages = {68--91}, ) @book(Pearl2018, author = {Judea Pearl and Dana Mackenzie}, year = {2018}, title = {The book of why: the new science of cause and effect}, publisher = {Basic books}, ) @article(perrone2019notes, author = {Paolo Perrone}, year = {2019}, title = {Notes on Category Theory with examples from basic mathematics}, journal = {arXiv preprint arXiv:1912.10642}, ) @inproceedings(Radul2021, author = {Alexey Radul and Boris Alexeev}, year = {2021}, title = {The Base Measure Problem and its Solution}, booktitle = {Proceedings of the 24th International Conference on Artificial Intelligence and Statistics (AISTATS) 2021}, volume = {130}, publisher = {Proceedings of Machine Learning Research}, address = {San Diego, California}, pages = {3583–3591}, ) @article(Sabok2021, author = {Marcin Sabok and Sam Staton and Dario Stein and Michael Wolman}, year = {2021}, title = {Probabilistic programming semantics for name generation}, journal = {Proceedings of the ACM on Programming Languages}, volume = {5}, number = {POPL}, pages = {1--29}, doi = {10.1145/3434292}, ) @article(Schauer2023, author = {Moritz Schauer and Frank van~der Meulen}, year = {2023}, title = {Compositionality in algorithms for smoothing}, journal = {arXiv preprint arXiv:2303.13865}, ) @article(Scibior2018, author = {Adam \'{S}cibior and Ohad Kammar and Matthijs V\'{a}k\'{a}r and Sam Staton and Hongseok Yang and Yufei Cai and Klaus Ostermann and Sean~K. Moss and Chris Heunen and Zoubin Ghahramani}, year = {2017}, title = {Denotational Validation of Higher-Order Bayesian Inference}, journal = {Proc. ACM Program. Lang.}, volume = {2}, number = {POPL}, doi = {10.1145/3158148}, ) @article(Smithe2020, author = {Toby St~Clere Smithe}, year = {2020}, title = {Bayesian updates compose optically}, journal = {arXiv preprint arXiv:2006.01631}, ) @inbook(Staton2017, author = {Sam Staton}, year = {2017}, title = {Commutative Semantics for Probabilistic Programming}, pages = {855–879}, series = {Lecture Notes in Computer Science}, volume = {10201}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, doi = {10.1007/978-3-662-54434-1_32}, url = {https://link.springer.com/10.1007/978-3-662-54434-1_32}, ) @book(Tao2011, author = {Terence Tao}, year = {2011}, title = {An introduction to measure theory}, series = {Graduate studies in mathematics}, volume = {126}, publisher = {American Mathematical Society}, address = {Providence, R.I}, doi = {10.1090/gsm/126/02}, ) @misc(VakarOng2018, author = {Matthijs Vákár and Luke Ong}, year = {2018}, title = {On S-Finite Measures and Kernels}, url = {http://arxiv.org/abs/1810.01837}, note = {ArXiv:1810.01837 [math]}, ) @misc(Wilson2023, author = {Paul Wilson and Fabio Zanasi}, year = {2023}, title = {Data-Parallel Algorithms for String Diagrams}, eprint = {2305.01041}, ) @inproceedings(Wu2018, author = {Yi~Wu and Siddharth Srivastava and Nicholas Hay and Simon Du and Stuart Russell}, year = {2018}, title = {Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms}, booktitle = {Proceedings of the 35th International Conference on Machine Learning}, publisher = {PMLR}, pages = {5343–5352}, url = {https://proceedings.mlr.press/v80/wu18f.html}, )