Трудовые будни
May. 2nd, 2020 06:45 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicПохоже, что в относительной ситуации над базовым кольцом есть две конструкции комплекса Кошуля -- hom-конструкция и тензор-конструкция. Переход с левой стороны на правую меняет их местами, но для этого нужны дополнительные предположения (что градуированное кольцо локально конечно-порожденное и проективное не только слева, но и справа).
В общем, теперь придется с этим распутываться.
То ли дело, когда коалгебры! Что C \otimes A, что A \otimes C -- какая разница? Но над базовым кольцом с квазидифференциальными кокольцами тяжело работать.
В общем, теперь придется с этим распутываться.
То ли дело, когда коалгебры! Что C \otimes A, что A \otimes C -- какая разница? Но над базовым кольцом с квазидифференциальными кокольцами тяжело работать.
