Tensor product of vector spaces

V ⊗ W universal for bilinear maps; dim(V⊗W) = dim V · dim W. Matrix Kronecker product; quantum entanglement.