25 citations · 38 across the 10 of their papers we have counts for
10 papers
Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
Tobias Fritz, Tomáš Gonda, Antonio Lorenzin +2
The Glivenko--Cantelli theorem is a uniform version of the strong law of large numbers. It states that for every IID sequence of random variables, the empirical measure converges t…
The Aldous$\unicode{x2013}$Hoover Theorem in Categorical Probability
Leihao Chen, Tobias Fritz, Tomáš Gonda +2
The Aldous-Hoover Theorem concerns an infinite matrix of random variables whose distribution is invariant under finite permutations of rows and columns. It states that, up to equal…
Conceptual and formal groundwork for the study of resource dependence relations
Yìlè Yīng, Tomáš Gonda, Robert Spekkens
A resource theory imposes a preorder over states, with one state being above another if the first can be converted to the second by a free operation, and where the set of free oper…
Epistemic Horizons From Deterministic Laws: Lessons From a Nomic Toy Theory
Johannes Fankhauser, Tomáš Gonda, Gemma De les Coves
Quantum theory has an epistemic horizon, i.e. exact values cannot be assigned simultaneously to incompatible physical quantities. As shown by Spekkens' toy theory, positing an epis…
An Invitation to Universality in Physics, Computer Science, and Beyond
Tomáš Gonda, Gemma De les Coves
A universal Turing machine is a powerful concept - a single device can compute any function that is computable. A universal spin model, similarly, is a class of physical systems wh…
Resource-theoretic hierarchy of contextuality for general probabilistic theories
Lorenzo Catani, Thomas D. Galley, Tomáš Gonda
In this work we present a hierarchy of generalized contextuality. It refines the traditional binary distinction between contextual and noncontextual theories, and facilitates their…
Absolute continuity, supports and idempotent splitting in categorical probability
Tobias Fritz, Tomáš Gonda, Antonio Lorenzin +2
Markov categories have recently turned out to be a powerful high-level framework for probability and statistics. They accommodate purely categorical definitions of notions like con…
A Framework for Universality in Physics, Computer Science, and Beyond
Tomáš Gonda, Tobias Reinhart, Sebastian Stengele +1
Turing machines and spin models share a notion of universality according to which some simulate all others. Is there a theory of universality that captures this notion? We set up a…
Resource Theories as Quantale Modules
Tomáš Gonda
We aim to counter the tendency for specialization in science by advancing a language that can facilitate the translation of ideas and methods between disparate contexts. The focus…
De Finetti's Theorem in Categorical Probability
Tobias Fritz, Tomáš Gonda, Paolo Perrone
We present a novel proof of de Finetti's Theorem characterizing permutation-invariant probability measures of infinite sequences of variables, so-called exchangeable measures. The…