my question is related to the tensor product in $k$-linear additive categories. If you have such a category, an object $A$ and a finite dimensional $k$-vector space $V$, then one knows that the tensor product $V\otimes_kA$ exists.

One usually chooses a basis of $V$ and sets $A\otimes_kV$ simply as $A^n$ and verifies the universal property

$Hom(V\otimes_k A,B)\simeq Hom_k(V,Hom(A,B))$ directly.

Now it is not clear for me inasfar this construction is canonical, as you chose a basis of $V$.

And if $V$ is simply $Hom(A,B)$, then you have a morphism

$Hom(Hom(A,B)\otimes A,B)$ corresponding to the identity. How canonical is also this one?

Thank you very much!

anothersolution to theuniversal property. $\endgroup$ – Mariano Suárez-Álvarez Aug 16 '11 at 18:56