Из писем к В.Х.
Oct. 11th, 2009 07:15 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posic<...> обсуждается вопрос о явном описании фибраций в модельной категории DG-коалгебр <...> В самом деле, является ли морфизм DG-коалгебр фибрацией, не зависит от дифференциалов на этих DG-коалгебрах. У меня рассматриваются коассоциативные, некокоммутативные DG-коалгебры, но это мало отличается от коммутативного случая (разница только в том, что в некоммутативном случае имеет смысл еще CDG-коалгебры рассматривать).
<...>
Дело в том, что модельные структуры на категориях DG-алгебр и DG-коалгебр существенно разные. В категории DG-алгебр слабые эквивалентности описываются просто (квазиизоморфизмы) и не зависят от структур алгебр, а только от дифференциалов. В категории DG-коалгебр слабые эквивалентности описываются сложнее (порождаются фильтрованными квазиизоморфизмами) и от структур коалгебр зависят.
Зато в категории DG-коалгебр фибрации описываются просто и не зависят от дифференциалов (верхняя коалгебра должна косвободно копорождаться нижней и каким-нибудь градуированным векторным пространством). В категории DG-алгебр кофибрации описываются сложнее и от дифференциалов зависят.
В этом состоит разница между "производными категориями первого и второго рода", в терминологии моей статьи. В производных категориях первого рода (обычных) легко описать эквивалентности, в производных категориях второго рода (копроизводных, контрапроизводных) -- приспособленные объекты.
<...>
Дело в том, что модельные структуры на категориях DG-алгебр и DG-коалгебр существенно разные. В категории DG-алгебр слабые эквивалентности описываются просто (квазиизоморфизмы) и не зависят от структур алгебр, а только от дифференциалов. В категории DG-коалгебр слабые эквивалентности описываются сложнее (порождаются фильтрованными квазиизоморфизмами) и от структур коалгебр зависят.
Зато в категории DG-коалгебр фибрации описываются просто и не зависят от дифференциалов (верхняя коалгебра должна косвободно копорождаться нижней и каким-нибудь градуированным векторным пространством). В категории DG-алгебр кофибрации описываются сложнее и от дифференциалов зависят.
В этом состоит разница между "производными категориями первого и второго рода", в терминологии моей статьи. В производных категориях первого рода (обычных) легко описать эквивалентности, в производных категориях второго рода (копроизводных, контрапроизводных) -- приспособленные объекты.
