4 ms·
I’ve been slowly reading through Steve Awodey's Category Theory, but as someone with not much math background it’s a bit dense. He does have some nice lectures
by bojo 8y ago
I’ve been slowly reading through Steve Awodey's Category Theory, but as someone with not much math background it’s a bit dense. He does have some nice lectures online which help, but I’m not sure how far my understanding would have stretched without reading Bartosz first.
To be fair, I’ve come to CT through Haskell development, which Bartosz caters heavily towards. While it is absolutely not necessary for the daily aspect of my job, it really helps drive home the underlying mechanics of the language.
That all said, now it’s brought me in a roundabout manner to wanting to learn more advanced math, although while I am grasping CT I can’t understand what people are talking about when they compare it to pure mathematical concepts (Sets, Groups, Rings, etc), which tends to be frustrating. I am attempting to find a path to understanding all of this without having to grab another 4 year degree.