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