Cartesian, partial and stochasticLast updated Jan 30, 2023Tags: Monoidal category, Cartesian monoidal category, Partial function, Stochastic function.
