Trying Category Theory again. Does anyone have good intros for someone who:
* Has strong background in CS, PL/types and *operational* semantics, but none in denotational
* Knows what a group is, but no topology or real analysis
* Does NOT learn from pictures
Conversation
I have Pierce's Category Theory for Computer Scientists book on loan from a friend that is short but nifty - it has some examples relating it to little functional languages. But I'm still a beginner at this stuff, so take my recommendation with a grain of salt.
1
5
It’s well written, but I remember concluding that it doesn’t actually teach category theory...
2
2
I've not yet really applied myself to learning this stuff (juggling lots of things), but I wouldn't be surprised if I agreed with you after reading it more closely.
1
1
Big challenge I face is lots of the category theory stuff is geared towards mathematicians, and it was nice to have some programming language examples in there. Maybe combined with something else it could be useful?
2
2
From memory the signatures of things like categories and functors etc. were laid in a way that I could imagine transferring it to a programming language. Where as the more 'mathematical' texts had the signatures of stuff smushed into prose. But my memory could be playing tricks.
2
2
Sure, I'm happy to rant about math writing, I'm just taking a day off from that.
I liked a lot better Peter Smith's suggestions — his notes and then Leinster's book. I don't like Awodey's, but IIRC my problem there were with later chapters.
2
1
Ahh sorry, wasn’t actually intended to be ranty, but I see how it could have been taken that way. More like I struggle with it and sometimes need a bit more help. Might try looking into those myself! 🙂
1
1
No no, *I* am the one ranting at the slightest provocation.*
And I'm not even implying the rants are wrong, even some mathematicians are aware there's a problem. And they do have more useful communication, they just do it in person.
*I wasn't kidding :-)
1
1
Ahhh, right, makes sense! Yeah I've found that with the programming language/type theory stuff, but I imagine there are challenges I haven't seen in maths as well. Good to sometimes take a rest from ranting though - can get exhausting. 😅