Let -Vect,
,
-linear. Prove that
Solution
Recall the general definition of the tensor product of linear maps, we have successively:
Thus, the two linear maps are equal when composed with the canonical bilinear map
, hence equal (by the universal property).