Meaning of Cartesian closed category | Babel Free

Definitions

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ᴬ.

Examples

“In any event, Lambek showed that every typed lambda-theory gives a cartesian closed category — and conversely, every cartesian closed category gives a typed lambda-theory. This discovery led to a rich line of research blending category theory and computer science.”

CEFR level