bicartesian closed category

Noun

 * 1)  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