Equality of morphism and coherence theorem for biclosed categories (Q1838564)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equality of morphism and coherence theorem for biclosed categories |
scientific article |
Statements
Equality of morphism and coherence theorem for biclosed categories (English)
0 references
1983
0 references
equality problem for canonical morphisms
0 references
biclosed categories
0 references
coherence theorem for canonical morphisms
0 references
