[Submitted on 14 Sep 2021 (v1), last revised 9 Aug 2026 (this version, v2)]

View PDF

Abstract:We introduce the categories of quasi-measurable spaces, mild generalizations of quasi-Borel spaces that allow for general sample spaces and less restrictive random variables. Each such category is complete, cocomplete, cartesian closed and, as we show, even locally cartesian closed, a quasitopos and a Heyting category, and so models an extensional dependent type theory with a typed intuitionistic first-order logic. We put one probability monad in the foreground, the push-forward probability monad $\mathcal{P}$, and isolate the two properties of the sample space its theory needs: a Fubini property, making $\mathcal{P}$ commutative, and a product isomorphism $\Omega \times \Omega \cong \Omega$, making it strong. It is affine always. Our main interest is the category of quasi-universal spaces, where the sample space is the universal Hilbert cube $[0,1]^\mathbb{N}$ with the $\sigma$-algebra of all universally measurable subsets. That completion is what buys explicit descriptions of the induced $\sigma$-algebras, as intersections of Lebesgue-complete $\sigma$-algebras, and for countably separated spaces as the completion of any countable separating family, which quasi-Borel spaces do not admit. All push-forward probability monads collapse into one here, and on standard quasi-universal spaces the Giry monad joins them. We prove a Fubini theorem, a disintegration theorem for Markov kernels, Kolmogorov extension theorems and a conditional de Finetti theorem, and translate them into properties of the associated Markov category. Finally we formalize causal Bayesian networks over quasi-universal spaces and prove a global Markov property, translating transitional conditional independence into this setting and establishing its asymmetric separoid rules. Exponential objects then put variables and causal mechanisms on the same graphical footing, in partially generic causal Bayesian networks.

Submission history

From: Patrick Forré [view email]
[v1] Tue, 14 Sep 2021 11:24:48 UTC (83 KB)
[v2] Sun, 9 Aug 2026 12:57:49 UTC (146 KB)

Current browse context:

math.PR

Bookmark

Bibliographic and Citation Tools

Code, Data and Media Associated with this Article

Demos

Recommenders and Search Tools

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.