Cartesian closed category

- #category_theory

- is a category that:

- has terminal object terminal object

- product for any pair of objects product

- exponential object for any pair of objects internal hom-object

- terminal object like the 0th power,

- hom-set(a, terminal) ~= 1^a = ~= 1

- hom-set(a, a) ~= a^a

- exponential object is also object, so it can be power again and again. it is closed under "product" operation