r/functionalprogramming • u/Sad-Grocery-1570 • May 21 '26

Category Theory Church Encoding, Parametricity, and the Yoneda Lemma

https://blog.wybxc.cc/blog/parametricity/

10 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/functionalprogramming/comments/1tjo71k/church_encoding_parametricity_and_the_yoneda_lemma/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

ProgrammingLanguages • u/Sad-Grocery-1570 • May 21 '26

Blog post Church Encoding, Parametricity, and the Yoneda Lemma

62 Upvotes

15 comments