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