bicartesian closed category

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Etymology[edit]

bi- +‎ cartesian closed category

Noun[edit]

bicartesian closed category (plural bicartesian closed categories)

  1. (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, .

Abbreviations[edit]

Hypernyms[edit]

Hyponyms[edit]

References[edit]