5 ms·
Every time I try to understand what category theory is, I hit an impassable wall, I don't understand it. Alexander Grothendieck is much too intelligent for me.
by martyalain 4y ago
Every time I try to understand what category theory is, I hit an impassable wall, I don't understand it. Alexander Grothendieck is much too intelligent for me. But I don't despair of getting there one day...
- deltasevennine 4y agoI'm not an math expert. I hated math. I learned it off of very informal material: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ https://bartoszmilewski.com/2014/10/28/category-theory-for-p... and his associated youtube videos (which are EVEN better): https://youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ https://youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa...
- martyalain 4y agoThank you so much for these links, a lot to learn ...
- justinhj 4y agoEugenia Cheng has a couple of very accessible books on Category Theory
- austern 4y agoI was going to make the same recommendation. In particular I'd recommend her new book, _The Joy of Abstraction_. It's a real textbook that goes up through the Yoneda Lemma, but it isn't too scary and it doesn't assume that the reader already knows any theoretical math.
- deltasevennine 4y agoI read the first couple chapters. It's a bit too watered down in the beginning IMO. I couldn't get past the first part especially when she tries to relate category theory to feminism. Might come back to it later. As a non-math expert and programmer I highly highly recommend Bartosz stuff I linked it in another branch under my original comment.
- justinhj 4y agoBartosz's material is great but it has a practical programming focus, so Cheng's books which focus more on teach Category Theory as mathematics, make a good complement.
- deltasevennine 4y agoYeah you're probably right. Ill dive back into her book eventually. It's mostly the beginning chapters don't even get into the meat of CT quick enough. Instead it spends a lot of time justifying things. I feel It's written for people who hated math even more then I did.
- justinhj 4y agoYes, that book in particular. I have Emily Riehl's Category Theory in Context which was not immediately accessible to me at all. Joy of Abstraction aims to be an on-ramp to that.
- gaze 4y agoIt's the idea that most structures in math can be put upon a foundation of a structure consisting of objects and the relationships between those objects.
- adamddev1 4y agoI've found Bartosz Milewski's lectures on category theory for programmers to be very understandable and enlightening. (And I'm weak on math) He explains it really well in plain terms. https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI... He also has a series of blog posts on it, but I found the lectures especially helpful.