I think it important to note that tensor products have no universal mapping property and no categorical definition. Given an internal hom, there might or might not be a tensor product that provides a left adjoint for it. Given a bifunctor, there might or might not be an internal hom (or two if the bifunctor is not symmetric) right adjoint to it. Another point is that the tensor product on abelian groups (or modules over any commutative right) has two universal mapping properties: It provides left adjoints for the quite obvious (but still not categorically defined) internal hom and also represents the functor that takes A to the functor of bilinear maps out of A x B. In any case, it makes no sense to ask what is the "right" tensor product. The right tensor product will be the one that is appropriate to the job you want to do with it. Michael