不動点を持たない対合を対蹠オペレータ〈antipodal operator〉、あるいは単に対蹠と呼ぶ。集合Aが対蹠 ¬:A→A と、極性 p:A→{+, -} を持ち、 p(¬a) = -(p(a)) が成立するとする。AのクリーネスターA＊に、対蹠を拡張する。 ¬[a1, ..., ,an] := [¬an, ..., ¬a1…

ネームとコネームに関しては、 コンパクト閉圏と絵算で理解する線形代数とシーケント計算（入り口だけ） - 檜山正幸のキマイラ飼育記 アブラムスキーのネームとかフリップとか - 檜山正幸のキマイラ飼育記 コンパクト閉圏と絵算で理解する線形代数とシーケン…

index structure for vector spaces 𝒮はベクトル空間の有限集合（空でもよい） ℬは、𝒮の空間と、その双対空間、I, I* を入れた集まり。Iは単位空間。 ℐは集合の集合 ¬:ℐ→ℐ p:ℐ→{+, -} S:ℐ→ℬ β:ℐ→Mor(Vect)、ℐの要素に線形写像を対応させるのがβ 𝒮の要素を、…

エンブレム、ブランド、マーカーなどと呼んでいるものは、ユニオン型の弁別子〈discriminator〉だった。