(Another) Disappointed Categoricien

[posic]

https://mathoverflow.net/questions/289259/the-derived-drift-is-pretty-unsatisfying-and-dangerous-to-category-theory-or

Вот, что я думаю по этому поводу: слишком многие современные любители теории категорий видят в теории категорий способ изучать математику, не изучая математику, и заниматься математикой, не занимаясь математикой. Это иллюзорный путь.

Разные профессии есть на свете: математики, физики, программисты. Может быть, даже прикладные математики. Специалисты по computer science, в конце концов. Но нет такой профессии -- специалист по теории категорий, не являющийся ни одним из вышеперечисленных. Такой области деятельности не существует.

Если кто хочет заниматься теорией категорий как математик, то для этого нужно стать и быть математиком, что означает -- использовать свой интерес к теории категорий, так же, как и другие свои интересы, как повод к тому, чтобы выучить как можно больше математики. А не как предлог, чтобы не знать ничего, кроме теории категорий.

Comments

[posic.livejournal.com]

"But, of course, category theory is not a way to trivialize the rest of mathematics. E.g., you cannot trivialize questions about prime numbers with category theory (obviously). Category theory is a way to a better, deeper understanding of the rest of mathematics. To start on this way, you need to care about something beyond category theory first."