The category whose objects are finite sets and whose morphisms are stochastic maps (or stochastic matrices) is often denotes FinStoch, or similar; a full subcategory of Stoch.
This is an elementary but nontrivial example of a Markov category, and together with its subcategory BorelStoch, one of the most important categories of category-theoretic probability.
FinStoch is the category whose
See at stochastic matrix for more details.
FinStoch is closely related to the Kleisli category of the distribution monad: it is its full subcategory whose objects are finite sets.
FinStoch is a Cauchy-complete category.
As a Markov category, it has conditionals, and is hence positive and causal.
Last revised on February 7, 2024 at 17:01:04. See the history of this page for a list of all contributions to it.