I should stop doing category theory I should stop doing category theory. What’s the point? Written on December 1, 2025