1
자연 변환 및 파라 메트릭
에서 무료 정리 (theorem)! Wadler는 매개 변수의 특성화는 자연스런 자연 변형의 관점에서 다시 표현 될 수 있으며 이는 추가 논문의 주제가 될 것이라고 말했다. 그는 어떤 종이를 언급하고 있습니까? 내가 아는 매개 변수에 대한 범주 적 접근 은 Bainbridge, Freyd, Scedrov 및 PJ Scott의 Functorial Polymorphism 에서와 같이 자연 변형 …