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

Yes, that was what I was going for.

For what it's worth, https://bartoszmilewski.com/2015/09/01/the-yoneda-lemma/ does a pretty good job of explaining the Yoneda lemma in a programming context. Look for the section "Yoneda in Haskell".

As I also tried to say earlier, in practice I suggest learning programming first, and then using the likes of category theory to organise your understanding.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: