bicartesian closed category en · NOUN
Etymology
From bi- + Cartesian closed category.
Meanings
- 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| bicartesian closed categories | Number=Plur | lexicographic |
Hypernyms
cartesian closed category · cocartesian closed category
Hyponyms
Heyting algebra · Heyting prealgebra