bicartesian closed category (English, noun)
expansion: bicartesian closed category (plural bicartesian closed categories)
Senses:
topics: category-theory
computing
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: 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.
Forms:
form: bicartesian closed categories
tags: plural