bicartesian closed category
Meanings
noun
- 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
Etymology
From bi- + Cartesian closed category.
Synonyms
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.