Infinite products and zero-one laws in categorical probability

DOI10.32408/COMPOSITIONALITY-2-3zbMATH Open1490.18022arXiv1912.02769OpenAlexW3048626531MaRDI QIDQ5087652FDOQ5087652

Eigil Fjeldgren Rischel, Tobias Fritz

Publication date: 1 July 2022

Published in: Compositionality (Search for Journal in Brave)

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.

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

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

Mathematics Subject Classification ID

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

Cited In (8)

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

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)