bicartesian closed category
nounEtymology From bi- + Cartesian closed category.
1
Category theory, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences 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, A∐B.
- Synonyms
- BCCC
- Hypernyms
- cartesian closed category, cocartesian closed category
- Hyponyms
- Heyting algebra, Heyting prealgebra