Cartesian, partial and stochasticLast updated Dec 2, 2024Tags: monoidal category, Cartesian monoidal category, partial function, Stochastic function.