CatGloss

We just proved that there is essentially only one such pair $ (T, b) $ . The vector space $ T $ is called the tensor product of $ U $ and $ V $ , and is written as $ U \leftarrowimes V $ . Tensor products are very important in algebra.