ドミニオン (2)

をベクトル空間の有限集合だとして、Rは入ってないとする。 に所属するベクトル空間を基本ベクトル空間と呼ぶ。

ドミニオン Dominion() は、を含んでいて次の性質を持つ最小の圏C：

1. R∈|C|
2. V∈ ならば、V^*∈|C|
3. テンソル積で閉じている。
4. 対合 ￢:C→C は、V V^* で厳密になるように定義されている。
5. 射は、律子と対称と対合律子から生成されたものだけ（ドミニオンの条件）

ドミニオン Dominion() から作られた多線形写像の圏がテンソル計算の舞台。