In Theorems kostenlos! Wadler sagt, dass die Charakterisierung der Parametrizität in Form von laxen natürlichen Transformationen wieder ausgedrückt werden kann, und dies wird Gegenstand einer weiteren Arbeit sein. Auf welches Papier bezieht er sich?
Die kategorische Herangehensweise an die Paramterizität, die ich kenne, verwendet dinaturale Transformationen wie im Functorial Polymorphism von Bainbridge, Freyd, Scedrov und PJ Scott. Was ist der Zusammenhang zwischen laxer natürlicher Transformation und dinaturalen Transformationsformulierungen der Parametrizität?