Mario Román


Search IconIcon to open search

Cartesian categories are monoidal categories

Last updated Oct 31, 2023

Cartesian categories have a canonical monoidal category structure that makes them cartesian monoidal categories. A nice proof of this fact uses the Yoneda lemma to reason in the cartesian category as we would do in the category of Sets (Leinster, 2018). cartesian-categories-are-monoidal