Topic summary
Cartesian closed categories
Extracted from the Wikipedia article Cartesian closed category.
Bicartesian closed categories
Bicartesian closed categories extend Cartesian closed categories with binary coproducts and an initial object, with products distributing over coproducts. Their equational theory is extended with the following axioms, yielding something similar to Tarski's high school axioms but with a zero: