Полуконтрамодули над полуалгебрами я придумал в 2000 году. Контрамодули над топологическими кольцами появились на свет в 2008. Контрагерентные копучки -- в 2012 году, после трех лет размышлений. Задача о теориях кокручения в категориях контрамодулей была поставлена в 2012 году, решена в 2015. Контрамодульная интерпретация MGM-двойственности появилась в 2014-15 годах. Очень плоская гипотеза была сформулирована в 2014 году, доказана в 2017. Наклонно-конаклонное соответствие было придумано в 2016 году, препринты обнародованы в 2017. Псевдопроизводные категории были придуманы в 2016 году, препринты обнародованы в 2017.
Дальше оно разворачивается в сторону теории колец (коммутативных и некоммутативных) -- полная строгость контрамодульных забывающих функторов, правоперпендикулярные подкатегории в категориях модулей, сильно плоские и вполне плоские модули, топологии Габриэля счетного типа, топологически совершенные топологические кольца...
Сколько лет еще пройдет, пока... пока что? пока контрамодули впитаются в мейнстрим современной математики? Трудно предположить, но ясно, что немало. Процесс, раскручивавшийся на протяжении двадцати или тридцати лет, не может завершиться успехом в одночасье. Или если может, то момент непредсказуем.