Tが有極集合チーム〈polarized set team〉とは、¬:T→T と P:T→{+, -} と、IごとのσI:I→¬I があって、 I, J∈T ⇒ I∩J = 空集合 --- 無共分 ¬は不動点を持たない対合である。 --- ¬の対蹠性 P(I) = '+' ⇒ P(¬I) = '-', P(I) = '-' ⇒ P(¬I) = '+' --- 反転性 (σI…

クックの三角描画法 f:X→Y に対して、fのネーム f∩:I→XY* を、同じラベル（色）の三角で表す。 f:X→Y に対して、fのコネーム ∪f:Y*X→I を、同じラベル（色）の三角で表す。 fの双対に対しては特別な描画法はしない。 セリンガーのボックス＆マーク描画法 射…

通常の（もっともメジャーな）コンパクト性の定義以外に、以下に述べる定義がある。以前（2005年だ）、モデルの空間＝リンデンバウム代数のスペクトルがコンパクトであることを示すのに使ったことがある。 コンパクト空間と論理／モデル論 - 檜山正幸のキマ…