テンソル積
テンソル積は普遍性を用いて定義することもできる。この文脈では、テンソル積は同型を除いて一意的に定義される。ベクトル空間のテンソル積は以下の普遍性を満たす: