(Another) Disappointed Categoricien
Dec. 25th, 2017 10:53 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posichttps://mathoverflow.net/questions/289259/the-derived-drift-is-pretty-unsatisfying-and-dangerous-to-category-theory-or
Вот, что я думаю по этому поводу: слишком многие современные любители теории категорий видят в теории категорий способ изучать математику, не изучая математику, и заниматься математикой, не занимаясь математикой. Это иллюзорный путь.
Разные профессии есть на свете: математики, физики, программисты. Может быть, даже прикладные математики. Специалисты по computer science, в конце концов. Но нет такой профессии -- специалист по теории категорий, не являющийся ни одним из вышеперечисленных. Такой области деятельности не существует.
Если кто хочет заниматься теорией категорий как математик, то для этого нужно стать и быть математиком, что означает -- использовать свой интерес к теории категорий, так же, как и другие свои интересы, как повод к тому, чтобы выучить как можно больше математики. А не как предлог, чтобы не знать ничего, кроме теории категорий.
Вот, что я думаю по этому поводу: слишком многие современные любители теории категорий видят в теории категорий способ изучать математику, не изучая математику, и заниматься математикой, не занимаясь математикой. Это иллюзорный путь.
Разные профессии есть на свете: математики, физики, программисты. Может быть, даже прикладные математики. Специалисты по computer science, в конце концов. Но нет такой профессии -- специалист по теории категорий, не являющийся ни одним из вышеперечисленных. Такой области деятельности не существует.
Если кто хочет заниматься теорией категорий как математик, то для этого нужно стать и быть математиком, что означает -- использовать свой интерес к теории категорий, так же, как и другие свои интересы, как повод к тому, чтобы выучить как можно больше математики. А не как предлог, чтобы не знать ничего, кроме теории категорий.
