Mario Román

Home

❯

notes

❯

pieces

❯

Fox's theorem and cocommutativity

Fox's theorem and cocommutativity

May 20, 20251 min read

foxs-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 of Linear Logic (Melliès). Paul-André Melliès cites previous work by Burroni.1

Graph View

Backlinks

  • Cartesian by split
  • Cartesian monoidal category
  • Refining Fox's Theorem
  • Cartesian Categories and comonoids
  • Monoidal category
  • Uniform copy delete

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID