Cartesian Categories and comonoids

Tags: Fox’s theorem and cocommutativity