Tags: promonoidal category, probability References: A Presentation of the Category of Stochastic Matrices (Fritz)