![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicПусть A и B -- CDG-алгебры над полем k. Всякому левому CDG-модулю M над A и правому CDG-модулю N над B сопоставим CDG-бимодуль M⊗kN над A и B. Эта операция тензорного произведения индуцирует функтор между копроизводными категориями
Dco(A-mod) x Dco(mod-B) → Dco(A-mod-B).
При каких условиях образ этого функтора порождает копроизводную категорию CDG-бимодулей, хотя бы в слабом смысле зануления ортогонала к образу? Заметим, что такое утверждение верно для 1. производных категорий DG-модулей над DG-алгебрами и 2. копроизводных категорий CDG-комодулей над конильпотентными CDG-коалгебрами (где подразумевается порождение с помощью сдвигов-конусов и бесконечных прямых сумм).
Dco(A-mod) x Dco(mod-B) → Dco(A-mod-B).
При каких условиях образ этого функтора порождает копроизводную категорию CDG-бимодулей, хотя бы в слабом смысле зануления ортогонала к образу? Заметим, что такое утверждение верно для 1. производных категорий DG-модулей над DG-алгебрами и 2. копроизводных категорий CDG-комодулей над конильпотентными CDG-коалгебрами (где подразумевается порождение с помощью сдвигов-конусов и бесконечных прямых сумм).
