Linear logic, coherence and dinaturality (Q685406)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linear logic, coherence and dinaturality |
scientific article |
Statements
Linear logic, coherence and dinaturality (English)
0 references
25 October 1993
0 references
The paper fills an important gap between category theory and logic: it is shown that Eilenberg-Kelly-Mac Lane graphs of naturality conditions in closed categories are essentially the same as proof-nets in multiplicative linear logic. This allows to obtain a useful schema of coherence theorems (instead of single theorems before) and connect coherence with composability of dinatural transformations and polymorphism.
0 references
graph of natural transformation
0 references
dinaturality
0 references
Eilenberg-Kelly-Mac Lane graphs
0 references
closed categories
0 references
proof-nets
0 references
multiplicative linear logic
0 references
coherence
0 references
polymorphism
0 references
0 references
