December 25th, 2017

Итоги двух лет

2016 и 2017 годы как бы сливаются в моей жизни в единое целое. К ним примыкает 2015-й, но тот все же имеет некоторое отдельное существование; а 2016 и 2017 кажутся неразделимыми.

Пять работ в рецензируемых изданиях полностью вышли у меня из печати в этот период, пройдя полный цикл от получения первых отзывов из редакций до окончательных выходных данных. Четыре из этих статей были впервые обнародованы в виде препринтов в 2015 году, и еще одна -- это первый из препринтов 2016 года.

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

Всего в 2016-2017 годах были обнародованы двенадцать новых архивных препринтов, пять в 2016 и семь в 2017 году. Три первых препринта 2017 года уже отвергнуты теми редакциями, в которые они были поданы; следующие четыре пока рассматриваются.

Важнейшие работы этого периода -- это два препринта про тильтинго-котильтинговое соответствие (написанные в первых версиях летом 2016 года, но законченные и обнародованные только в октябре-ноябре 2017) и два препринта про очень плоскую гипотезу и сильно плоские модули над коммутативными кольцами (придуманные в июне 2017 и выложенные в Архив в августе).

При этом доказательства основных результатов августовских препринтов 2017 года в немалой степени основаны на техниках, которые развивались в двух первых препринтах 2016 года (наряду с теми, разработкой которых я занимался еще в 2013-14 и, в меньшей степени, 2015 годах).

В целом, это было время творческих свершений, и одновременно -- большой печали, можно даже сказать -- отчаяния. Предчувствия конца 2015 года ( https://posic.livejournal.com/1254242.html ) во многом подтвердились или подтверждаются.

(Another) Disappointed Categoricien

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

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

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

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