Refining Fox's TheoremLast updated Oct 7, 2024Tags: monoidal category, Fox’s theorem and cocommutativity