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