strictly involutive symmetric monoidal vertically-and-horizontally contravariant endo-functor 長い！ ので、モノイド否定〈monoidal negation〉またはテンソル否定〈tensor negation〉と呼ぶことにする。category with monoidal negation は、symmetri…

Lin = Vect MLin = 複線形写像を射とする圏。対象はベクトル空間のリスト（公平タプル） PLin = 多線形写像を射とする圏。対象はベクトル空間のリスト（公平タプル） PLin は MLin上のテンソル積モナドのクライスリ圏 PLinの射（クライスリ射）をテンソルと…

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