cartesian category

A category $\mathcal{C}$ is cartesian if,

1. $(\mathcal{C},1,\otimes )$ is a monoidal category.
2. $1$ is a terminal object.