Infinite products and zero-one laws in categorical probability

DOI10.32408/COMPOSITIONALITY-2-3MaRDI QIDQ5087652zbMATH OpenOpenAlexFDO

Authors Tobias Fritz, Eigil Fjeldgren Rischel

Publication date 1 July 2022

Published in Compositionality (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.02769

Mathematics Subject Classification ID

Zero-one laws (60F20) Monoidal categories, symmetric monoidal categories (18M05)

Abstract: Markov categories are a recent category-theoretic approach to the foundations of probability and statistics. Here we develop this approach further by treating infinite products and the Kolmogorov extension theorem. This is relevant for all aspects of probability theory in which infinitely many random variables appear at a time. These infinite tensor products $$ come in two versions: a weaker but more general one for families of objects $(X_i{)}_{iinJ}$ in semicartesian symmetric monoidal categories, and a stronger but more specific one for families of objects in Markov categories. As a first application, we state and prove versions of the zero-one laws of Kolmogorov and Hewitt-Savage for Markov categories. This gives general versions of these results which can be instantiated not only in measure-theoretic probability, where they specialize to the standard ones in the setting of standard Borel spaces, but also in other contexts.

Recommendations

• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• scientific article; zbMATH DE number 1324650
• A categorical foundation for Bayesian probability
• A categorical approach to probability theory
• Categorial independence and Lévy processes

Cited in

(9)

• Dilations and information flow axioms in categorical probability
• Multinomial and hypergeometric distributions in Markov categories
• A category-theoretic proof of the ergodic decomposition theorem
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Probability monads with submonads of deterministic states
• Representable Markov categories and comparison of statistical experiments in categorical probability
• Free gs-monoidal categories and free Markov categories
• Categorial independence and Lévy processes
• Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration

This page was built for publication: Infinite products and zero-one laws in categorical probability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5087652)