Markov category
- markov category - disintegration, or bayesian inversion
- conditional
- quasitotal conditional
- structural conditional
- markov category - distributions that are marginally independent of the parameter
- discrete partial Markov category
- conditionals of a composition
- markov category - conditionals using do-notation
- conditionals of a family
- conditionals are unique up to ranges
- First action of produoidal Markov split
- Second action of produoidal Markov split
Examples
- Gaussian probability theory, a category of linear functions with normally (gaussian) distributed noise.
- Finitary distribution noise, a category of stochastic matrices between sets.
- Giry monad, a continuous probability monad over measurable spaces.
Tags: probability, monoidal category.