Cartesian Categories and comonoids

Last updated Sep 8, 2023

Tags: Fox’s theorem and cocommutativity