Is there a tensor product of tensor products?