G-dinaturality. (Q1400601)
From MaRDI portal
!
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 1963865
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | G-dinaturality. |
scientific article; zbMATH DE number 1963865 |
Statements
G-dinaturality. (English)
0 references
13 August 2003
0 references
The notion of dinaturality is an important extension of naturality in the sense that the notion of ends in category theory is obtained from that of limits by simply replacing natural transformations by dinatural ones. Dinaturality is closely connected to questions of coherence. Dinaturality is also useful in constructing models of polymorphic lambda calculus. In this paper the author introduces an extension of dinatural transformation so as to give a criterion for preservation of dinaturality under composition. As an application he shows that all bi-Cartesian closed canonical transformations are dinatural.
0 references
dinatural transformation
0 references
bi-Cartesian closed categories
0 references
cut elimination
0 references
polymorphic lambda calculus
0 references
0 references
0.7886431813240051
0 references
0.7615400552749634
0 references
0.7611742615699768
0 references
