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