bicartesian closed category
English
Etymology
bi- + cartesian closed category
Noun
bicartesian 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, .
Abbreviations
- BCCC
Hypernyms
- cartesian closed category
- cocartesian closed category
Hyponyms
- Heyting algebra
- Heyting prealgebra
References
- Jeltsch, Wolfgang (2012). An Introduction to Category Theory and Categorical Logic, slide 21.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.