January 11th, 2021

Иногда я думаю: ну что я за человек такой?

Два рода производных категорий (с многочисленными подвариантами)... две абелевых категории полных модулей над кольцом с идеалом... два (нет, три) понятия адической проективности... два понятия адической плоскости...

Ну, зачем все эти тонкости, сколько можно копаться в мелких деталях? Кто, когда, с какой целью будет во все это вникать? Из кого состоит пересечение тех, кто способен в это вчитаться, и тех, у кого нет более насущных занятий?

И потом приходит утешительная мысль: нет, ну все-таки. Все-таки. Я не всю свою жизнь в одних только мелких деталях копался. Я построил полубесконечную гомологическую алгебру ассоциативных алгебраических структур. Я доказал очень плоскую гипотезу. Я построил наклонно-конаклонное соответствие, с контрамодулями над топологическими кольцами эндоморфизмов. Я разработал определение топологически совершенного топологического кольца, в конце концов...

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