Cartesian, partial and stochasticLast updated Apr 23, 2024Tags: monoidal category, Cartesian monoidal category, partial function, Stochastic function.
