bicartesian closed category

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Etymology

[edit]

From 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, .

Synonyms

[edit]

Hypernyms

[edit]

Hyponyms

[edit]

References

[edit]