G-dinaturality. (Q1400601)

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.