Fox's theorem and cocommutativity

Last updated Oct 7, 2024

See also

• List opmonoidal comonad

• Nathanael Arkor and Matt Earnshaw pointed out that this result appears in page 122 of Categorical Semantics of Linear Logic (Melliès). Paul-André Melliès cites previous work by Burroni.1