Categorical probability and stochastic processes Monoidal and enriched categories mathematics