ベクトル空間のテンソル積 AB の台集合は A×B(正確には U(A)×U(B))である。→ 違う。U(AB) = U(A)×U(B) は成立するが、U(AB) = U(A)×U(B) は成立しない。 ベクトル空間 A, B に対して、テンソル積 AB は一意に決まる。→ 違う。up-to-isoで一意なだけで、ほ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。