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