Мне кажется, не так уж плохо получилось. P.S. Раз за разом про разные классические и популярные сюжеты демонструется, как можно использовать в них контрамодули и столько пользы от этого получается, сколько ясности прибавляется. На предыдущем обороте я занимался тем же самым с копроизводными категориями, и получилось вполне успешно. Из частных бесед: чем отличаются контрамодули от копроизводных категорий? Контрамодули можно объяснить второкурснику, но постдоку легче въехать в копроизводные категории. Это и значит, что контрамодули важнее. Их интродукция подразумевает пересмотр и расширение оснований гомологической алгебры на более базовом, более глубоком уровне.