Abstract:We study a category of probability spaces and measure-preserving Markov kernels up to almost sure equality. This category contains, among its isomorphisms, mod-zero isomorphisms of probability spaces. It also gives an isomorphism between the space of values of a random variable and the sigma-algebra that it generates on the outcome space, reflecting the standard mathematical practice of using the two interchangeably, for example when taking conditional expectations. We show that a number of constructions and results from classical probability theory, mostly involving notions of equilibrium, can be expressed and proven in terms of this category. In particular: - Given a stochastic dynamical system acting on a standard Borel space, we show that the almost surely invariant sigma-algebra can be obtained as a limit and as a colimit; - In the setting above, the almost surely invariant sigma-algebra gives rise, up to isomorphism of our category, to a standard Borel space; - As a corollary, we give a categorical version of the ergodic decomposition theorem for stochastic actions; - As an example, we show how de Finetti's theorem and the Hewitt-Savage and Kolmogorov zero-one laws fit in this limit-colimit picture. This work uses the tools of categorical probability, in particular Markov categories, as well as the theory of dagger categories.

On the effect of perturbation of conditional probabilities in total variation

Total Variation Convergence Preserves Conditional Independence

Rank two perturbations of matrices and operators and operator model for t-transformation of probability measures

T product Tensors Part II: Tail Bounds for Sums of Random T product Tensors

On some singularly perturbed elliptic systems modeling partial segregation: uniform Hölder estimates and basic properties of the limits

Applications of the perturbation formula for Poisson processes to elementary and geometric probability

Inference in Perturbation Models, Finite Mixtures and Scan Statistics: The Volume-of-Tube Formula

Trends to Equilibrium in Total Variation Distance

A local variational relation and applications

Non-commutative probability, joint distributions, conditioning, and the associated polymorphisms

A note on perturbation analysis for T-product based tensor singular values

Product disintegrations: A law of large numbers via conditional independence

On conjugacy and perturbation of subalgebras

Categorical probability spaces, ergodic decompositions, and transitions to equilibrium

On general perturbations of symmetric Markov processes

Entropy bounds for invariant measure perturbations in stochastic systems with uncertain noise

On the -Spaces of Projective Limits of Probability Measures

Stationary probability measures on projective spaces 2: the critical case

Approximation for the invariant measure with applications for jump processes (convergence in total variation distance)

Quantum Conditional Probabilities and New Measures of Quantum Information

A note on two-times measurement entropy production and modular theory