(1596-1650), French philosopher, mathematician, and scientist, whose formulation of analytic geometry gave rise to the concept of Cartesian product, which was later generalized to the notion of categorical product.

Definition

The category C is called Cartesian closed if it satisfies the following three properties:
* It has a terminal object.
* Any two objects X and Y of C have

1.Previous
3.Next