Странная операция на комодулях и контрамодулях

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

A propos: интересно, к чему все это приведет. Неужели все эти физики, симплектические геометры и прочие станут учить контрамодули и контрапроизводные категории?

Впрочем, тот же вопрос и про копроизводные категории можно задать. Применительно тем же физикам, любителям TQFT, теории особенностей, инвариантов узлов и чего-то там еще.