Cartesian closed category
Noun
Meaning
Cartesian closed category (plural Cartesian closed categories)
(category theory) A category which has a terminal object and which for every two objects A and B has a product A × B and an exponential object B.