A cartesian category is a category that has all finite products. This is equivalent to asking that it has a terminal object, and binary products.Cartesian Category