4 ms·

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 htt

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 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.

envp 5y ago
Definitely recommend CTFP: (Category Theory For Programmers) https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
ABS 5y ago
MIT's 18.S097: Programming with Categories with Brendan Fong, Bartosz Milewski and David Spivak is great: http://brendanfong.com/programmingcats.html http://brendanfong.com/programmingcats.html All lectures from the course are in this playlist: https://www.youtube.com/playlist?list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS 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 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 https://www.youtube.com/watch?v=GNG3Gk9KsoI
hkopp 5y ago
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 https://arxiv.org/abs/1803.05316
AnthonBerg 5y ago
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 https://mitpress.mit.edu/books/category-theory-sciences Archive.org seems to have it for download: https://archive.org/details/cattheory https://archive.org/details/cattheory (I prefer the printed copy myself, i.e. it has been worth having.)
myWindoonn 5y ago
All sibling recommendations are excellent. In addition, I offer https://math.ucr.edu/home/baez/rosetta.pdf https://math.ucr.edu/home/baez/rosetta.pdf "Physics, Topology, Logic, & Computation: A Rosetta Stone". It has a fair amount to offer computer scientists, and also lots of pictures.

envp 5y ago

Definitely recommend CTFP: (Category Theory For Programmers) https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ https://bartoszmilewski.com/2014/10/28/category-theory-for-p...

ABS 5y ago

MIT's 18.S097: Programming with Categories with Brendan Fong, Bartosz Milewski and David Spivak is great: http://brendanfong.com/programmingcats.html http://brendanfong.com/programmingcats.html All lectures from the course are in this playlist: https://www.youtube.com/playlist?list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS 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 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 https://www.youtube.com/watch?v=GNG3Gk9KsoI

hkopp 5y ago

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 https://arxiv.org/abs/1803.05316

AnthonBerg 5y ago

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 https://mitpress.mit.edu/books/category-theory-sciences Archive.org seems to have it for download: https://archive.org/details/cattheory https://archive.org/details/cattheory (I prefer the printed copy myself, i.e. it has been worth having.)

myWindoonn 5y ago

All sibling recommendations are excellent. In addition, I offer https://math.ucr.edu/home/baez/rosetta.pdf https://math.ucr.edu/home/baez/rosetta.pdf "Physics, Topology, Logic, & Computation: A Rosetta Stone". It has a fair amount to offer computer scientists, and also lots of pictures.