Начал писать доказательство теоремы MGM-двойственности для комплексов комодулей и контрамодулей над коалгебрами, и немедленно уперся в препятствие -- скорее, терминологического, чем содержательного свойства, т.е. оно обходится дополнительным определением и изменением формулировки теоремы.
Потратил четыре дня на то, чтобы дополнить обход препятствия его частичным преодолением. Теперь, кажется, этот цикл переделки текста завершен; можно дальше писать доказательство. Бэкграундный материал по комодулям и контрамодулям над коалгебрами и условиям конечности для них вынесен теперь в отдельный Appendix C.
48 с половиной страниц в статейке --
http://positselski.narod.ru/dedualizing.pdf21.00 30.04.2015 - Update: вот и дописан раздел 4, про комодули и контрамодули над коалгебрами. 50 страниц с небольшим в статейке.