LM7805 comments on Book Review: Basic Category Theory for Computer Scientists (MIRI course list) - Less Wrong

31 Post author: So8res 19 September 2013 03:06AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (23)

You are viewing a single comment's thread.

Comment author: LM7805 23 September 2013 09:53:55PM 0 points [-]

Have you read Pierce's Types and Programming Languages? If so, would you say it provides sufficient foundation for this book?

Comment author: Risto_Saarelma 24 September 2013 11:00:59AM *  1 point [-]

I'm not sure it works as a prerequisite. I've read most of it, but don't feel like it got me any closer at all to figuring out category theory.

Since category theory was invented to unify abstract algebra and topology, maybe textbooks in those would work instead?

I kind of worry about how much the whole category theory talk on programmer forums is the blind leading the blind. Mathematical maturity is difficult to communicate, and I don't have a clear idea just how far along the ladder of mastery levels you need to be before you can make category theory start paying rent.