Categorical Probability

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Categorical Probability.

• Category of Markov kernels — A category whose objects are measurable spaces and whose morphisms are Markov kernels, composed by integrating one conditional probability kernel through another.
• Giry monad — The probability monad on measurable spaces that sends each space to its measurable space of probability measures.