= 27d567bc2d48d9f40e9ccc20ea370b15)
Will_Newsome comments on Secrets of the eliminati - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (252)
Not yet, but very soon now. (The plan for category theory is to get proficient with Haskell and maybe kill two birds with one stone by playing with functional inductive programming (which uses category theory). I do not yet have plans for set theory or logic; I don't really understand what they're trying to do very well. Or like, my brain hasn't categorized them as "cool", whereas my brain has categorized category theory as "cool", and I think that if I better understood what was cool about them then I'd have a better idea of where to start. I was sort of hoping I could somehow learn all my math in terms of categories, which is still technically a possibility I guess but not at all something I can do on my own.)
I don't recommend studying category theory at any depth before at least some logic, abstract algebra and topology. It can feel overly empty of substance without a wealth of examples already in place, it's not called "abstract nonsense" for nothing. Follow my reading list if you don't have any better ideas or background, and maybe ask someone else for advice. I don't like some of this stuff as well, I just study it because I must.
I've known many people who have tried to walk down this path and failed. The successful ones I know, knew one before the other.