英和和英

名詞

cartesian closed category ‎(複数形 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”^[1], 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.

略語s

• CCC

上位語

• cartesian monoidal category, cartesian category
• closed monoidal category
• monoidal category

下位語

• bicartesian closed category