Шесть лет назад

появились на свет контрагерентные копучки -- https://posic.livejournal.com/2012/04/07/

История вопроса -- https://posic.livejournal.com/775489.html

"Не то, что нужно" -- https://posic.livejournal.com/783663.html

К предыдущему

Вообще, это характерный пример того, как упрямство заменяет недостаточный IQ.

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

Да, вот только никто, кроме меня, этим заниматься не стал бы никогда. А много ли в том пользы -- это мы когда-нибудь узнаем.