Bicartesian-closed-category Definition
noun
(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.
Wiktionary
other
Heyting algebra.
Wiktionary
Heyting prealgebra.
Wiktionary
Other Word Forms of Bicartesian-closed-category
Noun
Singular:
bicartesian-closed-category
Plural:
bicartesian closed categoriesOrigin of Bicartesian-closed-category
bi- + cartesian closed category
From Wiktionary
Find Similar Words
Find similar words to bicartesian-closed-category using the buttons below.