bicartesian closed category

English

Etymology

From bi- +‎ Cartesian closed category.

Noun

bicartesian closed category (plural bicartesian closed categories)

1. (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, $A\coprod B$.

Synonyms

• 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.