VividLex

Home / Thesaurus / bicartesian closed category

Thesaurus: bicartesian closed category

bicartesian closed category (plural bicartesian closed categories) (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 categ…

Full dictionary entry Search Lens associations

Related headwords

Definitions

  1. bicartesian closed category (plural bicartesian closed categories) (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{\displaystyle A\coprod B}.