Аннотация:
При условии, что выделенный объект является образующим, получены:
полное описание естественных преобразований суперпозиций
тензорного произведения $\otimes$ и внутреннего $\mathrm{hom}$-функтора $[\,,\,]$
в компактных замкнутых категориях, в том числе в категории конечнопорожденных проективных модулей над коммутативным кольцом с $1$;
обобщение этого результата на некоторый класс суперпозиций $\otimes$,
$[\,,\,]$ и бипроизведения $\oplus$; условия коммутативности диаграммы
естественных преобразований для упомянутых суперпозиций, сводящееся
к проверке коммутативности диаграммы компонент, когда все
аргументы функторов равны выделенному объекту. Библ. – б назв.