This is a theorem due to Thomas Fox which characterizes products in a cartesian monoidal category as an algebraic structure given by natural transformations rather than in terms of a universal poperty.
A symmetric monoidal category is cartesian if and only if it is isomorphic to its own category of cocommutative comonoids. Thus every object is equipped with a unique cocommutative comonoid structure, and these structures are respected by all maps.
Last revised on June 10, 2025 at 14:01:54. See the history of this page for a list of all contributions to it.