テンソル・ドミニオンの例

ドミニオンをテンソル・ドミニオンと呼ぶことにする。厳密対合とやせた亜群は条件に入る。極性 p:D→{+, -}^* も仮定する。A→￢A という射が自然変換として割り当てられているときは相反的テンソル・ドミニオンと呼ぶ。

1. ベクトル空間のテンソル・ドミニオン。相反的なら計量が入る。
2. 集合のテンソル・ドミニオン。
3. コンパクト論理のテンソル・ドミニオン。相反的なら、A→￢A の推論が可能。n
4. 整数リストのテンソル・ドミニオン。相反的にはならない。