![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Я перемудрил; основное утверждение (что квазиизоморфизм неотрицательно когомологически градуированных DG-коалгебр индуцирует квазиизоморфизм их кобар-конструкций) доказывается в две строчки. Там просто убывающая фильтрация на кобар-конструкции конечна в каждой когомологической степени.
Так и не заметил бы, если б не полез в литературу уточнять ссылки.
Летняя жара сказывается на мозгу.
Теперь у меня готовый написанный аппендикс приложен к статье, в которой он по существу практически не нужен. Выкинуть или оставить? Хочется оставить -- куда ж я его еще приложу, а жалко пропадать добру.
Так и не заметил бы, если б не полез в литературу уточнять ссылки.
Летняя жара сказывается на мозгу.
Теперь у меня готовый написанный аппендикс приложен к статье, в которой он по существу практически не нужен. Выкинуть или оставить? Хочется оставить -- куда ж я его еще приложу, а жалко пропадать добру.