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
What are some good programming language examples? I have the feeling that most are like “any model of STλC is a CCC”, which is not really an example (though motivating). Meanwhile, models are often random mathematical structures, so ultimately these examples can't be avoided.
3
5
Ah, that's a good point - I'm very much out of my depth with this stuff, but the example of a little functional language Peirce's book was helpful, and then helped me then go to getting my head around the other mathematical examples.
1
But yeah, definitely not saying that the other examples should be avoided - just sometimes what is familiar to a mathematician is sometimes less familiar to a programming language implementer who is trying to understand papers that make use of category theory.
Programming language implementor is more my particular background though - not sure about . Sometimes I find combining resources helps - if I get stuck on something I'll look to other places to bridge the gap, but it's nice when there's a comfortable example there!