Joinings in Markov categories
Abstract
Dynamical systems theory primarily concerns the study of different forms of invariance, such as invariant sets, densities, measures, and observables. Ergodic systems are a special class of dynamical systems which are measure theoretically irreducible. In spite of this specialized property they dominate most discussions on ergodic theory because of the ergodic decomposition theorem. The viewpoint that any dynamical system is a composite of multiple ergodic components enables us to partition the face space into the basins of the different measures. The coexistence and mutual connections between these various coexisting subsystems are illuminated very effectively using the language of Category theory (CT). Some recent advancements have shown how the essence of measure theoretic dynamical systems can be captured through the formalism of Markov categories. This formalism captures the essential features of invariance and ergodicity through the language of limits and colimits. This article continues that formalism by studying the concept of joins using the language of spans and push-outs. A classical result is re-proven which establishes the connection between joins, ergodicity and mixing. In the process, the categorical language is refined to capture the notion of sub sigma-algebras and their invariance.
Related
- Statistical models as natural transformations: meaningfulness, coherence and priors as states in Markov categories
- Non-determinism in group actions and topological minimal self-joinings
- Schematic Functorialities of Birational Motivic Homotopy Categories
- On the internal homotopy theory of motivic categories
- (2-dep,Σ)-categories are not generalised categories with families
BibTeX
@misc{das2026joinings,
title = {{Joinings in Markov categories}},
author = {Suddhasattwa Das and Tomoharu Suda},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2609.10912},
eprint = {2609.10912},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.10912},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Joinings in Markov categories
AU - Suddhasattwa Das
AU - Tomoharu Suda
PY - 2026
DA - 2026/10/06
PB - arXiv
DO - 10.48550/arxiv.2609.10912
UR - https://arxiv.org/abs/2609.10912
AB - Dynamical systems theory primarily concerns the study of different forms of invariance, such as invariant sets, densities, measures, and observables. Ergodic systems are a special class of dynamical systems which are measure theoretically irreducible. In spite of this specialized property they dominate most discussions on ergodic theory because of the ergodic decomposition theorem. The viewpoint that any dynamical system is a composite of multiple ergodic components enables us to partition the face space into the basins of the different measures. The coexistence and mutual connections between these various coexisting subsystems are illuminated very effectively using the language of Category theory (CT). Some recent advancements have shown how the essence of measure theoretic dynamical systems can be captured through the formalism of Markov categories. This formalism captures the essential features of invariance and ergodicity through the language of limits and colimits. This article continues that formalism by studying the concept of joins using the language of spans and push-outs. A classical result is re-proven which establishes the connection between joins, ergodicity and mixing. In the process, the categorical language is refined to capture the notion of sub sigma-algebras and their invariance.
ER -