ベクトル空間のテンソル積 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で一意なだけで、ほ…

モノイド圏は、高次圏〈higher category〉の入り口、特殊な双圏（腐った用語法→「「余」と「双」の使い方がバラバラ」、「高次圏： 用語法と文脈（主に2次元） // だらしなくザンネンな用語法」）。通常圏論〈{ordinary category | 1-category} theory〉の常…