A presentation of the category of stochastic matrices

Tobias Fritz

This note gives generators and relations for the strict monoidal category of probabilistic maps on finite cardinals (i.e., stochastic matrices).