Noun
bicartesian closed category (plural bicartesian closed categories)
(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
∐
B
{\displaystyle A\coprod B}
.