Wiktionary
bicartesian closed category
n. (context category theory English) 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, .