Hacker News new | past | comments | ask | show | jobs | submit login

Are there any introductions to category theory you would recommend in particular?

A cursory glance gives me this: http://www.cs.nott.ac.uk/~pszgmh/cat.html

Which seems to avoid being very "mathy" right out of the gate, though I can't tell its quality.




MIT's 18.S097: Programming with Categories with Brendan Fong, Bartosz Milewski and David Spivak is great: http://brendanfong.com/programmingcats.html

All lectures from the course are in this playlist: https://www.youtube.com/playlist?list=PLhgq-BqyZ7i7MTGhUROZy...

Milewski's free book Category Theory for Programmers is a "classic" as well https://github.com/hmemcpy/milewski-ctfp-pdf

In general you can find videos on youtube of talks given at various industry functional programming conferences that often help since they start from the industry programmer point of view rather than the pure maths one.

E.g. A practical introduction to Category Theory (for Scala devs) https://www.youtube.com/watch?v=GNG3Gk9KsoI


I would recommend "Seven Sketches in Compositionality", as it does not progressively get harder, but each chapter starts off very easily. So you can catch up, if you got lost.

It is available here: https://arxiv.org/abs/1803.05316


Definitely recommend CTFP: (Category Theory For Programmers)

https://bartoszmilewski.com/2014/10/28/category-theory-for-p...


Seconding the suggestions in my sibling comments. I think I managed to learn some category theory by haphazard clambering and osmosis of the material.

I’d like to add a recommendation for the book Category Theory for the Sciences: https://mitpress.mit.edu/books/category-theory-sciences

Archive.org seems to have it for download: https://archive.org/details/cattheory

(I prefer the printed copy myself, i.e. it has been worth having.)




Consider applying for YC's Spring batch! Applications are open till Feb 11.

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

Search: