posic | За три с половиной каникулярных дня

дописал статью про MGM двойственность до формулировки теоремы об эквивалентности "обычных" производных категорий комодулей и контрамодулей над двумя коалгебрами, для которых задан дедуализирующий комплекс. Все необходимые предварительные сведения, кажется, уже есть; теперь можно писать доказательство.

40 страниц сейчас в статейке -- http://positselski.narod.ru/dedualizing.pdf (в последней архивной версии 23). Еще предстоит целый раздел 5, про дедуализирующие комплексы модулей кручения над коммутативным кольцом с идеалом; начать и закончить.