Cartesian categories are monoidal categories
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).
References