linkhyrule5 comments on Book Review: Basic Category Theory for Computer Scientists (MIRI course list) - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (23)
This seems like exactly the sort of thing I'd expect to be in a good category theory textbook. If I flip open, say, a physics textbook, I don't see unmotivated derivation of laws, I see "here's what a pendulum, a buoy in rough waters, and a mass on a spring have in common," for example.
Part of the point of learning from a textbook, instead of the original papers, is so you can get that motivation and learn those concepts in a natural way. That's what a good textbook means, I'd say.