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

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

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