[bmacho]

> For vector spaces, the sum operation is the Cartesian product and the product operation is the tensor product.

For vector spaces the sum operation is the Cartesian product, and the product operation is also the Cartesian product (at least for finite many vector spaces).

C.f. https://math.stackexchange.com/questions/1910808/prove-that-...