Cartesian Category
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.
Definition
A cartesian category
2Monπ²πΎππΎ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.
A cartesian category