Cartesian Categories and comonoids
Tags:
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...
Fox's theorem and cocommutativity