@inproceedings(adamek2012-coalgebraic, author = {Ji{\v{r}}{\'\i} Ad{\'a}mek and Filippo Bonchi and Mathias H{\"u}lsbusch and Barbara K{\"o}nig and Stefan Milius and Alexandra Silva}, year = {2012}, title = {A coalgebraic perspective on minimization and determinization}, booktitle = {Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24--April 1, 2012. Proceedings 15}, organization = {Springer}, pages = {58--73}, doi = {10.1007/978-3-642-28729-9_4}, ) @article(barnett2015-epsilon, author = {Nix Barnett and James P. Crutchfield}, year = {2015}, title = {Computational Mechanics of Input-Output Processes: Structured Transformations and the {$\Epsilon$}-Transducer}, journal = {Journal of Statistical Physics}, volume = {161}, number = {2}, pages = {404--451}, doi = {10.1007/s10955-015-1327-5}, ) @incollection(biehl2023-interpreting, author = {Martin Biehl and Nathaniel Virgo}, year = {2023}, title = {Interpreting Systems as Solving {POMDPs}: A Step Towards a Formal Understanding of Agency}, booktitle = {Active Inference. IWAI 2022. Communications in Computer and Information Science}, publisher = {Springer}, pages = {16--31}, doi = {10.1007/978-3-031-28719-0_2}, ) @misc(braithwaite2023-compositional, author = {Dylan Braithwaite and Jules Hedges and Toby St Clere Smithe}, year = {2023}, title = {The Compositional Structure of Bayesian Inference}, doi = {10.48550/ARXIV.2305.06112}, url = {https://arxiv.org/abs/2305.06112}, ) @misc(cho2017-disintegration, author = {Kenta Cho and Bart Jacobs}, year = {2017}, title = {Disintegration and Bayesian Inversion via String Diagrams}, doi = {10.48550/ARXIV.1709.00322}, url = {https://arxiv.org/abs/1709.00322}, ) @misc(diLavore2022-coinductive, author = {Di Lavore, Elena and Giovanni de Felice and Mario Román}, year = {2022}, title = {Coinductive Streams in Monoidal Categories}, doi = {10.48550/ARXIV.2212.14494}, url = {https://arxiv.org/abs/2212.14494}, ) @misc(fritz2023-hidden-markov, author = {T Fritz and A Klinger and D. McNeely and Shah-Mohammed, A. and Y. Wang}, year = {2023}, title = {Hidden Markov Models and the Bayes Filter in Categoryical Probability}, url = {https://act2023.github.io/papers/paper73.pdf}, note = {Abstract presented at Applied Category Theory 2023}, ) @article(fritz2020-markov, 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(fritz2021-de-finetti, author = {Tobias Fritz and Tom{\'{a}}{\v{s}} Gonda and Paolo Perrone}, year = {2021}, title = {De Finetti's Theorem in Categorical Probability}, journal = {Journal of Stochastic Analysis}, volume = {2}, number = {4}, doi = {10.31390/josa.2.4.06}, ) @misc(fritz2020-representable, author = {Tobias Fritz and Tomáš Gonda and Paolo Perrone and Eigil Fjeldgren Rischel}, year = {2020}, title = {Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability (v2)}, doi = {10.48550/ARXIV.2010.07416}, url = {https://arxiv.org/abs/2010.07416v2}, note = {The material on strongly representable Markov categories appears in version 2 of the preprint but not in version 3.}, ) @article(fritz2023-representable-published, author = {Tobias Fritz and Tomáš Gonda and Paolo Perrone and Eigil Fjeldgren Rischel}, year = {2023}, title = {Representable Markov categories and comparison of statistical experiments in categorical probability}, journal = {Theoretical Computer Science}, volume = {961}, pages = {113896}, doi = {10.1016/j.tcs.2023.113896}, ) @inproceedings(gurajala2021-kalman, author = {Ramakrishna Gurajala and Praveen B. Choppala and James Stephen Meka and Paul D. Teal}, year = {2021}, title = {Derivation of the Kalman filter in a Bayesian filtering perspective}, booktitle = {2nd International Conference on Range Technology (ICORT)}, pages = {1--5}, doi = {10.1109/ICORT52730.2021.9581918}, ) @article(jacobs2020-conjugate, author = {B. Jacobs}, year = {2020}, title = {A channel-based perspective on conjugate priors}, journal = {Mathematical Structures in Computer Science}, volume = {30}, number = {1}, pages = {44--61}, doi = {10.1017/s0960129519000082}, ) @inproceedings(jacobs2019-surgery, author = {Bart Jacobs and Aleks Kissinger and Fabio Zanasi}, year = {2019}, title = {Causal Inference by String Diagram Surgery}, editor = {Miko{\l}aj Boja{\'{n}}czyk and Alex Simpson}, booktitle = {Foundations of Software Science and Computation Structures}, publisher = {Springer International Publishing}, address = {Cham}, pages = {313--329}, doi = {10.1007/978-3-030-17127-8_18}, ) @inproceedings(jacobs2020-de-finetti, author = {Bart Jacobs and Sam Staton}, year = {2020}, title = {De Finetti's Construction as a Categorical Limit}, editor = {Petri{\c{s}}an, D. and J. Rot}, booktitle = {Coalgebraic Methods in Computer Science}, publisher = {Springer International Publishing}, pages = {90--111}, doi = {10.1007/978-3-030-57201-3_6}, ) @article(kalman1960-filtering, author = {Rudolph Emil Kalman}, year = {1960}, title = {A New Approach to Linear Filtering and Prediction Problems}, journal = {Transactions of the ASME--Journal of Basic Engineering}, volume = {82}, number = {Series D}, pages = {35--45}, doi = {10.1115/1.3662552}, ) @misc(kamiya2021-framework, author = {Kotaro Kamiya and John Welliaveetil}, year = {2021}, title = {A category theory framework for Bayesian learning}, doi = {10.48550/ARXIV.2111.14293}, url = {https://arxiv.org/abs/2111.14293}, ) @misc(myers-draft-systems, author = {David Jaz Myers}, year = {2022}, title = {Categorical Systems Theory}, howpublished = {Unpublished book draft}, url = {http://davidjaz.com/Papers/DynamicalBook.pdf}, ) @article(silva2013-determinization, author = {Alexandra Silva and Filippo Bonchi and Marcello Bonsangue and Jan Rutten}, year = {2013}, title = {Generalizing determinization from automata to coalgebras}, journal = {Logical Methods in Computer Science}, volume = {Volume 9, Issue 1}, doi = {10.2168/lmcs-9(1:9)2013}, ) @misc(smithe2020-bayesian, author = {Toby St. Clere Smithe}, year = {2020}, title = {Bayesian Updates Compose Optically}, doi = {10.48550/ARXIV.2006.01631}, url = {https://arxiv.org/abs/2006.01631}, ) @misc(spivak2019-lenses, author = {David I. Spivak}, year = {2019}, title = {Generalized Lens Categories via functors $\mathcal{C}^{\rm op}\to\mathsf {Cat}$}, doi = {10.48550/ARXIV.1908.02202}, url = {https://arxiv.org/abs/1908.02202}, ) @misc(travers2011-equivalence, author = {Nicholas F. Travers and James P. Crutchfield}, year = {2011}, title = {Equivalence of History and Generator Epsilon-Machines}, doi = {10.48550/ARXIV.1111.4500}, url = {https://arxiv.org/abs/1111.4500}, ) @inproceedings(virgo2021-interpreting, author = {Nathaniel Virgo and Martin Biehl and Simon McGregor}, year = {2021}, title = {Interpreting Dynamical Systems as~Bayesian Reasoners}, booktitle = {International Workshops of ECML PKDD 2021}, publisher = {Springer}, pages = {726--762}, doi = {10.1007/978-3-030-93736-2_52}, )