# bicartesian closed category

Jump to: navigation, search

## English

### Noun

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, ${\displaystyle A\coprod B}$.