![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Тридцать лет спустя
Наш проект по приложениям контрамодулей к гипотезе Енокса восходит к январю-февралю 2018 года. Три или четыре архивных препринта были обнародованы с лета 2018 по осень 2019 года в рамках этого проекта.
Проект по приложениям контрамодулей к гипотезе Енокса вырос из проекта по контрамодулям в теории наклонов, который восходит к январю 2016 года. Тот проект, в свою очередь, вырос из статьи про теории кокручения в локально представимых абелевых категориях, написанной осенью 2015 года. Та статья решала задачу, над которой я начал размышлять в 2012-13 годах, она нужна была мне для построения контрагерентных копучков контрамодулей.
Понятие контрагерентного копучка я придумал в апреле 2012 после трех лет размышлений; постановка задачи восходит к весне 2009 года. Задача эта возникла из поиска максимальной естественной общности для конструкции контрапроизводной категории, которую я придумал в марте-апреле 1999 года (термина тогда не было, слово такое появилось только во второй половине 00-х годов). Конструкции копроизводных и контрапроизводных категорий решали задачу, над которой я размышлял с 1992 года. Задачу эту мне подсказали как естественно возникающую в контексте моей конструкции неоднородной кошулевой двойственности, которая была придумана где-то весной 1990 года, мне кажется.
Весной 1990 года мне было 17 лет. Осенью 2019 года мне 46 с половиной лет. Первые сколько-нибудь впечатляющие результаты по приложениям контрамодулей к гипотезе Енокса появились вот только что, в ноябре 2019 года.
Проект по приложениям контрамодулей к гипотезе Енокса вырос из проекта по контрамодулям в теории наклонов, который восходит к январю 2016 года. Тот проект, в свою очередь, вырос из статьи про теории кокручения в локально представимых абелевых категориях, написанной осенью 2015 года. Та статья решала задачу, над которой я начал размышлять в 2012-13 годах, она нужна была мне для построения контрагерентных копучков контрамодулей.
Понятие контрагерентного копучка я придумал в апреле 2012 после трех лет размышлений; постановка задачи восходит к весне 2009 года. Задача эта возникла из поиска максимальной естественной общности для конструкции контрапроизводной категории, которую я придумал в марте-апреле 1999 года (термина тогда не было, слово такое появилось только во второй половине 00-х годов). Конструкции копроизводных и контрапроизводных категорий решали задачу, над которой я размышлял с 1992 года. Задачу эту мне подсказали как естественно возникающую в контексте моей конструкции неоднородной кошулевой двойственности, которая была придумана где-то весной 1990 года, мне кажется.
Весной 1990 года мне было 17 лет. Осенью 2019 года мне 46 с половиной лет. Первые сколько-нибудь впечатляющие результаты по приложениям контрамодулей к гипотезе Енокса появились вот только что, в ноябре 2019 года.