bicartesian closed category

== English == === Etymology === From bi- +‎ Cartesian closed category. === 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} . ==== 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.