> Natural transformations between functors gives you parametricity and "theorems... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ihm on Jan 5, 2015 \| parent \| context \| favorite \| on: Introduction to Category Theory > Natural transformations between functors gives you parametricity and "theorems for free" Could you elaborate? This is something everyone always talks about but I've never really seen a proof/precise statement.

gclaramunt on Jan 11, 2015 [–]

The "Theorems for free" paper is here: http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf ( I guess is the most precise you can get :) )

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact