A category of probability spaces
From MaRDI portal
Abstract: We introduce a category Prob of probability spaces whose objects are all probability spaces and arrows are corresponding to measurable functions satisfying an absolutely continuous requirement. We can consider a Prob-arrow as an evolving direction of information with a way of its interpretation. We introduce a contravariant functor E from Prob to Set, the category of sets. The functor E provides conditional expectations along arrows in Prob, which are generalizations of the classical conditional expectations. For a Prob arrow f, we introduce two concepts f-measurability and f-independence and investigate their interaction with conditional expectations along f. We also show that the completion of probability spaces is naturally formulated as an endofunctor of Prob.
Recommendations
- A categorical approach to probability theory
- Topology of spaces of probability measures. I: The functors \(P_{\tau}\) and \(\hat P\)
- Probability sheaves and the Giry monad
- Some values of subfunctors of the functor of probability measures in the category \textit{COMP}
- Towards a categorical account of conditional probability
Cited in
(6)- Categorical properties of probabilistic convergence spaces
- Categorical Stochastic Processes and Likelihood
- scientific article; zbMATH DE number 7552812 (Why is no real title available?)
- A Convenient Category for Higher-Order Probability Theory
- Chu spaces and conditional probability
- Probability and Measurable Spaces on Modules Category
This page was built for publication: A category of probability spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5243538)
