bicartesian closed category
English
editEtymology
editbi- + Cartesian closed category
Noun
editbicartesian closed category (plural bicartesian closed categories)
- (category theory) A Cartesian closed category which also has an initial object and such that for any pair of objects, A and B, in the category, the category has another object which is their coproduct, .
Synonyms
editHypernyms
editHyponyms
editReferences
edit- Jeltsch, Wolfgang (2012). An Introduction to Category Theory and Categorical Logic, slide 21.