Bicartesian coherence (Q1850951)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 1845367
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Bicartesian coherence |
scientific article; zbMATH DE number 1845367 |
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
0.8040896654129028
0 references
0.7933657765388489
0 references
0.7853540182113647
0 references
0.7759258151054382
0 references
