Refining Fox's TheoremLast updated Oct 4, 2022Tags: Monoidal category, Fox’s theorem and cocommutativity