bicartesian closed category
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
bi- + cartesian closed category
Noun[edit]
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, .
Synonyms[edit]
Hypernyms[edit]
Hyponyms[edit]
References[edit]
- Jeltsch, Wolfgang (2012). An Introduction to Category Theory and Categorical Logic, slide 21.