# 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**