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.

- Thomas Fox,
*Coalgebras and cartesian categories*, Communications in Algebra**4**7 (1976) 665-667 (doi:10.1080/00927877608822127, pdf)

Last revised on July 16, 2024 at 19:01:18. See the history of this page for a list of all contributions to it.