Cartesian Category

A category $\mathcal{C}$ is cartesian if it has all binary Cartesian Products and a Terminal Object. Alternatively, a category is cartesian if it has all finite Cartesian Products.