posic | О комодульно-контрамодульном соответствии

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

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