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