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