Related papers: De Finetti's construction as a categorical limit
We give a nonstandard analytic proof of de Finetti's theorem for an exchangeable sequence of Bernoulli random variables. The theorem postulates that such a sequence is uniquely representable as a mixture of iid sequences of Bernoulli random…
In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg-Moore category, for a Kock-Z\"oberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras…
Using the Kleisi category of the Giry monad the deterministic existential and universal quantifiers are generalized to incorporate nondeterminism. These probabilistic quantifiers are quantified over the points of the category which are…
A classic and fundamental result about the decomposition of random sequences into a mixture of simpler ones is de Finetti's Theorem. In its original form it applies to infinite 0-1 valued exchangeable sequences. Later it was extended and…
The notion of effectus from categorical logic is relevant in the emerging field of categorical probability theory. In some cases, stochastic maps are represented by maps in the Kleisli category of some probability monad. Quantum…
We construct a factorization of the Giry monad through the category of convex spaces, and show that, provided that no measurable cardinals exist, probability measures can be viewed as natural transformations. Using the adjunction of this…
Giry algebras are barycenters maps, which are coequalizers of contractible coequalizer pairs (like any algebras), and their existence, in general, requires the measurable space be coseparated by the discrete two point space, and the…
A q-analogue of de Finetti's theorem is obtained in terms of a boundary problem for the q-Pascal graph. For q a power of prime this leads to a characterisation of random spaces over the Galois field F_q that are invariant under the natural…
I show that frequentism, as an explanation of probability in classical statistical mechanics, can be extended in a natural way to a decoherent quantum history space, the analogue of a classical phase space. The result is a form of finite…
De Finetti's theorem, also called the de Finetti-Hewitt-Savage theorem, is a foundational result in probability and statistics. Roughly, it says that an infinite sequence of exchangeable random variables can always be written as a mixture…
We describe an implementation of the biset category of finite groups as a tower of standard categorical constructions, all of which are implemented in the software projec t CAP for algorithmic category theory. In particular, we describe the…
We investigate how to model exchangeability with choice functions. Exchangeability is a structural assessment on a sequence of uncertain variables. We show how such assessments are a special indifference assessment, and how that leads to a…
We work in a general framework where the state of a physical system is defined by its behaviour under measurement and the global state is constrained by no-signalling conditions. We show that the marginals of symmetric states in such…
A sequence of random variables is called exchangeable if the joint distribution of the sequence is unchanged by any permutation of the indices. De Finetti's theorem characterizes all $\{0,1\}$-valued exchangeable sequences as a "mixture" of…
The classical de Finetti Theorem classifies the $\mathrm{Sym}(\mathbb N)$-invariant probability measures on $[0,1]^{\mathbb N}$. More precisely it states that those invariant measures are combinations of measures of the form…
The notion of "super convex spaces" generalizes the idea of convex spaces by replacing finite affine sums with countable affine sums. Using this notion permits a very elegant approach for analysis of the Giry monad on standard measurable…
Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind…
We introduce a monoidal category whose morphisms are finite partial orders, with chosen minimal and maximal elements as source and target respectively. After recalling the notion of presentation of a monoidal category by the means of…
In this survey, we review some of the recent connections between the representation theory of (untwisted) quantum affine algebras and the representation theory of current algebras. We mainly focus on the finite-dimensional representations…
In The factorization of the Giry monad (arXiv:1707.00488v2) the author asserts that the category of convex spaces is equivalent to the category of Eilenberg-Moore algebras over the Giry monad. Some of the statements employed in the proof of…