Гладкая двойственность
Aug. 23rd, 2019 06:32 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
В целях удовлетворения любопытства рецензента и возможных единолюбопытствующих с ним читателей, а также в целях повышения доступности работы для широкой аудитории и т.д., было решено расширить ее объем примерно вдвое, добавив объяснения разных простых вещей, очевидных вещей, неочевидных вещей, сложных вещей и вещей, вызывающих любопытство.
В результате, в данный момент планируется к написанию подраздел работы, в котором будет говориться следующее. В полной общности, построение инволютивной двойственности возможно для полуалгебр над квази-кокогерентными коалгебрами. Но поскольку понятие квази-кокогерентности немножко сложновато, можно снизить общность и ограничиться случаем, когда коалгебра квази-контранетерова.
В общем, в плане доступности для широкой аудитории, одна уже только морфологическая конструкция упомянутых терминов говорит сама за себя.
В результате, в данный момент планируется к написанию подраздел работы, в котором будет говориться следующее. В полной общности, построение инволютивной двойственности возможно для полуалгебр над квази-кокогерентными коалгебрами. Но поскольку понятие квази-кокогерентности немножко сложновато, можно снизить общность и ограничиться случаем, когда коалгебра квази-контранетерова.
В общем, в плане доступности для широкой аудитории, одна уже только морфологическая конструкция упомянутых терминов говорит сама за себя.