English

Noun

Cartesian closed category ‎(plural Cartesian closed categories)

1. (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^A.
   • 2009 March 2, John C. Baez; Mike Stay, Physics, Topology, Logic and Computation: A Rosetta Stone, page 54:

     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.

Abbreviations

• CCC

Hypernyms

• Cartesian monoidal category, Cartesian category
• closed monoidal category
• monoidal category

Hyponyms

• bicartesian closed category
• topos