Cartesian monoidal categoryLast updated Feb 25, 2024cartesian categories are monoidal categoriesFox’s theorem and cocommutativityRefining Fox’s Theoremuniform copy deleteCartesian by splitCartesian, partial and stochastic