bicartesian closed category

Meaning

Noun

• 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\; \backslash coprod\; B$.

Related

Similar words

• BCCC

Narrower meaning words

• Heyting algebra
• Heyting prealgebra

Broader meaning words

• cartesian closed category
• cocartesian closed category

Origin

• bi- + cartesian closed category