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