Cartesian monoidal category

Last updated Sep 8, 2023

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