bicartesian closed category

English dictionary entry

Meanings

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∐B.

Word forms

bicartesian closed category bicartesian closed categories

Etymology

From bi- + Cartesian closed category.

Synonyms

BCCC
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.