Cartesian monoidal category
- cartesian categories are monoidal categories
Cartesian categories are monoidal categories
Cartesian categories have a canonical monoidal category structure that makes them cartesian monoidal categories. A nice proof of this fact...
- Fox’s theorem and cocommutativity
Fox's theorem and cocommutativity
See also List opmonoidal comonad Nathanael Arkor and Matt Earnshaw pointed out that this result appears in page 122 of Categorical Semantics...
- Refining Fox’s Theorem
Refining Fox's Theorem
Tags: monoidal category, Fox's theorem and cocommutativity ...
- uniform copy delete
Uniform copy delete
Tags: Fox's theorem and cocommutativity...
- Cartesian by split
Cartesian by split
Tags: Fox's theorem and cocommutativity...
- Cartesian, partial and stochastic
Cartesian, partial and stochastic
Tags: monoidal category, Cartesian monoidal category, partial function, Stochastic function....