Кстати, начал тут Фоккингу читать, дак он цитирует Хоара (ту работу я не смог нагуглить): "Category theory is quite the most general and abstract branch of pure mathematics. [ . . . ] The corollary of a high degree of generality and abstraction is that the theory gives almost no assistance in solving the more specific problems within any of the subdisciplines to which it applies. It is a tool for the generalist, of little benefit to the practitioner [ . . . ]."
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2009-06-20 02:20 pm (UTC)"Category theory is quite the most general and abstract branch of pure mathematics. [ . . . ] The corollary of a high degree of generality and abstraction is that the theory gives almost no assistance in solving the more specific problems within any of the subdisciplines to which it applies. It is a tool for the generalist, of little benefit to the practitioner [ . . . ]."