cartesian categories are monoidal categories Fox’s theorem and cocommutativity Refining Fox’s Theorem uniform copy delete Cartesian by split Cartesian, partial and stochastic
