If all you do is add numbers together, is it anti-intellectual to question why one needs to grok Principia Mathematica first rather than just doing some arithmetic?
In other words, do you solve problems that actually require category theory or are you just navel gazing?
In other words, do you solve problems that actually require category theory or are you just navel gazing?