Cartesian Categories and comonoids

Last updated Oct 4, 2022

Tags: Fox’s theorem and cocommutativity