Categorical algebra of conditional probability. - Mika Bohinen; Paolo Perrone (CoRR, 2025)