для гомологической алгебры у меня возникают -- например, доказать, что квадрат некоторого дифференциала равен нулю. Обычно это легко. Эту я решил, но теперь следующая -- доказать, что некоторый изоморфизм коммутирует с дифференциалом. Не получается.
Ох, действительно длинная история... Я так понял, идея состоит в построении гомологической алгебры для некой категории CDG-модулей над CDG-кольцом. Эта категории удовлетворяет аксиомам closed model category?
Проблемы возникают при переходе к квази-дифференциальным кокольцам. Для CDG- (=квази-дифференциальных) коалгебр проблем нет или не ожидается. Для обыкновенных (не квази-дифференциальных) коколец проблем тоже нет.
Здесь коалгебра = коалгебра над полем. Кокольцо = коалгебра над кольцом.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2008-07-15 07:49 am (UTC)Я так понял, идея состоит в построении гомологической алгебры для некой категории CDG-модулей над CDG-кольцом.
Эта категории удовлетворяет аксиомам closed model category?
no subject
Date: 2008-07-15 11:01 am (UTC)no subject
Date: 2008-07-15 11:49 am (UTC)А за какую идею идёт борьба? :-)
no subject
Date: 2008-07-15 11:59 am (UTC)no subject
Date: 2008-07-15 12:53 pm (UTC)no subject
Date: 2008-07-15 01:03 pm (UTC)Здесь коалгебра = коалгебра над полем. Кокольцо = коалгебра над кольцом.