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 $C$-properties of the space of idempotent robability measures

Geometrical properties of the space of idempotent probability measures

A simple Efimov space with sequentially-nice space of probability measures

Countably tight dual ball with a nonseparable measure

Compactification of spaces of measures and pseudocompactness

Categorical probability spaces, ergodic decompositions, and transitions to equilibrium

On the openness of the idempotent barycenter map related to a t-norm

Function spaces on Corson-like compacta

On the -Spaces of Projective Limits of Probability Measures

A Topologically Enriched Probability Monad on the Cartesian Closed Category of CGWH Spaces

On Baire property of spaces of compact-valued measurable functions

On the probabilistic metrizability of approach spaces

A normal measure on a compact connected space

Absolute continuity, supports and idempotent splitting in categorical probability

Le Conte de la Mesure sur les Complexes Cubiques CAT(0)

On idempotent convexities and idempotent barycenter maps

On countable tightness type properties of spaces of quasicontinuous functions

Quasi-Compactness of Operators for General Markov Chains and Finitely Additive Measures

Probabilistic Metric Spaces as enriched categories

The unique measure of maximal entropy for a compact rank one locally CAT(0) space