Markov category

Last updated Feb 3, 2024

• conditional in a Markov category
• Building distributions that are marginally independent of the parameter

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.

#definition