3 ms·
> When I read articles by category theory boosters, I get the sense (rightly or wrongly) that they think the world revolves around them and they have stumbled o
by impendia 6y ago
> When I read articles by category theory boosters, I get the sense (rightly or wrongly) that they think the world revolves around them and they have stumbled onto some deep and fundamental truths.
(Professional mathematician here)
My sense, from talking to category theory boosters, is not typically that they regard category theory as "deep and fundamental truths". Rather, they often find it a useful way to declutter and describe their work, allowing them to more easily focus on deep truths without getting bogged down in details.
- theaeolist 6y agoIndeed. A high-level programming language (e.g. Python) does not allow you to do _more_ than assembly but _less_. But it helps you declutter the presentation to such a great extent that realistically you could not write Python program in assembly.