2020-02-15 ドミニオン (2) 本編ネタ 圏一般論 モノイド圏 セミナー をベクトル空間の有限集合だとして、Rは入ってないとする。 に所属するベクトル空間を基本ベクトル空間と呼ぶ。ドミニオン Dominion() は、を含んでいて次の性質を持つ最小の圏C: R∈|C| V∈ ならば、V*∈|C| テンソル積で閉じている。 対合 ¬:C→C は、V V* で厳密になるように定義されている。 射は、律子と対称と対合律子から生成されたものだけ(ドミニオンの条件) ドミニオン Dominion() から作られた多線形写像の圏がテンソル計算の舞台。