![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicВнутренний Hom из контрамодуля в комодуль, со значениями в комодулях (над кокоммутативной коалгеброй, скажем). Не могу понять, бывает такая штука или нет. Скажем, внутренний Hom из свободного контрамодуля определялся бы как бесконечное произведение комодулей.
A propos: интересно, к чему все это приведет. Неужели все эти физики, симплектические геометры и прочие станут учить контрамодули и контрапроизводные категории?
Впрочем, тот же вопрос и про копроизводные категории можно задать. Применительно тем же физикам, любителям TQFT, теории особенностей, инвариантов узлов и чего-то там еще.
A propos: интересно, к чему все это приведет. Неужели все эти физики, симплектические геометры и прочие станут учить контрамодули и контрапроизводные категории?
Впрочем, тот же вопрос и про копроизводные категории можно задать. Применительно тем же физикам, любителям TQFT, теории особенностей, инвариантов узлов и чего-то там еще.
