Natural transformations of the superpositions of distinguished functors in certain closed categories

Abstract

Under the condition that the distinguished object is a generator, one has obtained: a complete description of the natural transformations of the superpositions of the tensor product ⊗ of the interior Hom functor [,], in compact closed categories, including the category of finitely generated projective modules over a commutative ring with unit; the generalization of this result to a certain class of superpositions of ⊗, [,], and of the biproduct ⊕; conditions for the commutativity of the diagram of the natural transformations for the mentioned superpositions, reducing to the verification of the commutativity of the diagrams of the components, when all the arguments of the functors are equal to the distinguished object.