# bicartesian closed category

Jump to navigation
Jump to search

## Contents

## English[edit]

### Etymology[edit]

*bi-* + *cartesian closed category*

### Noun[edit]

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

#### Abbreviations[edit]

#### Hypernyms[edit]

#### Hyponyms[edit]

#### References[edit]

- Jeltsch, Wolfgang (2012).
*An Introduction to Category Theory and Categorical Logic*, slide 21.