Markov category

Last updated Sep 8, 2023

• Conditionals 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