Трудовые будни

[posic]

Похоже, что в относительной ситуации над базовым кольцом есть две конструкции комплекса Кошуля -- hom-конструкция и тензор-конструкция. Переход с левой стороны на правую меняет их местами, но для этого нужны дополнительные предположения (что градуированное кольцо локально конечно-порожденное и проективное не только слева, но и справа).

В общем, теперь придется с этим распутываться.

То ли дело, когда коалгебры! Что C \otimes A, что A \otimes C -- какая разница? Но над базовым кольцом с квазидифференциальными кокольцами тяжело работать.