Markov categories are a recent categorical approach to the mathematical foundations of probability and statistics. Here, this approach is advanced by stating and proving equivalent …
T Fritz, W Liang - Applied Categorical Structures, 2023 - Springer
Categorical probability has recently seen significant advances through the formalism of Markov categories, within which several classical theorems have been proven in entirely …
Interventional causal models describe several joint distributions over some variables used to describe a system, one for each intervention setting. They provide a formal recipe for how to …
Markov categories have recently turned out to be a powerful high-level framework for probability and statistics. They accomodate purely categorical definitions of notions like …
M Sabok, S Staton, D Stein, M Wolman - Proceedings of the ACM on …, 2021 - dl.acm.org
We make a formal analogy between random sampling and fresh name generation. We show that quasi-Borel spaces, a model for probabilistic programming, can soundly interpret the ν …
R Aduddell, J Fairbanks, A Kumar… - …, 2024 - compositionality.episciences.org
Regulatory networks depict promoting or inhibiting interactions between molecules in a biochemical system. We introduce a category-theoretic formalism for regulatory networks …
M Lambert, E Patterson - Advances in Mathematics, 2024 - Elsevier
The categorified theories known as “doctrines” specify a category equipped with extra structure, analogous to how ordinary theories specify a set with extra structure. We introduce …
E Patterson - arXiv preprint arXiv:2304.00447, 2023 - arxiv.org
Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these …
EF Rischel - Master's thesis, University of Copenhagen, 2020 - erischel.com
Building on work of Rubenstein et al, we consider a notion of structurepreserving transformations between structural causal models. We describe a category, in the sense of …