Let \({M}_k\)  denotes the category of \(k\) -modules.
 \({H}({M}_k)\)  will be called the Hom-category
associated to \({M}_k\) . If \((M,\mu ) \in {M}_k\) , then
\(\mu : M\rightarrow M\)  is obviously a morphism in
 \({H}({M}_k)\) . It is easy to show that
 \(\widetilde{{H}}({M}_k)\)  =
( \({H}({M}_k),~\otimes ,~(I, I),~\widetilde{a},~\widetilde{l},~\widetilde{r}))\)  is a monoidal category by
Proposition 1.1 in [1]}: the tensor product of \((M,\mu )\)  and \((N,\nu )\)  in  \(\widetilde{{H}}({M}_k)\)  is given by the
formula \((M, \mu )\otimes (N, \nu ) = (M\otimes N, \mu \otimes \nu )\) .
