Definitions from Wiktionary (bicartesian closed category)

▸ noun:  (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.


▸ Words similar to bicartesian closed category
▸ Usage examples for bicartesian closed category

▸ Idioms related to bicartesian closed category
▸ Wikipedia articles (New!)
▸ Words that often appear near bicartesian closed category
▸ Rhymes of bicartesian closed category

▸ Invented words related to bicartesian closed category