Bicartesian coherence (Q1850951)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bicartesian coherence |
scientific article |
Statements
Bicartesian coherence (English)
0 references
15 December 2002
0 references
This paper establishes the coherence for categories with binary products and binary coproducts, but without terminal and initial objects and without distribution. The result still holds for categories with terminal object if we require only the bifunctorial properties of binary coproducts. These results are demonstrated by proof-theoretic normalizing techniques.
0 references
bicartesian category
0 references
normalization
0 references
coherence
0 references
