2020-03-03 テンソル・ドミニオンの例 幾何っぽい メモ その他代数 セミナー ドミニオンをテンソル・ドミニオンと呼ぶことにする。厳密対合とやせた亜群は条件に入る。極性 p:D→{+, -}* も仮定する。A→¬A という射が自然変換として割り当てられているときは相反的テンソル・ドミニオンと呼ぶ。 ベクトル空間のテンソル・ドミニオン。相反的なら計量が入る。 集合のテンソル・ドミニオン。 コンパクト論理のテンソル・ドミニオン。相反的なら、A→¬A の推論が可能。n 整数リストのテンソル・ドミニオン。相反的にはならない。