同伴クラブ〈couples' club〉は、出会いの場ではなくて、前もって成立しているカップルが集まっている。単身でも入れる。そのときは、「自分のパートナーは自分である」とする。*1 *1:画像 http://www.myfunnylittlelife.com/bringing-the-spark-back-into-y…

ドミニオンについては： 紆余曲折、ドミニオン - (新) 檜山正幸のキマイラ飼育記 メモ編 ドミニオンの定義は； 小さい対称モノイド圏 モノイド否定（厳密対合）を持つ。 組み合わせ基底を持つ。 ドミニオンがコンパクト閉構造 (￢, η, ε) を持つとき、コンパ…

2次元方体を四角板または箱〈ボックス〉と呼ぶ。箱から内部の箱を幾つか取り除いたものを穴あきボックスと呼ぶ。“穴あきボックス＝little-cubes opration”にストリング図を描いた図画多様体を考えて、ノードがないストリング図のとき、純ワイヤリング図〈pur…

略号 フルスペル 意味 K kompakt (独) コンパクト（性質） Or Oriented 向き付き Nsi Nested-signed indexed 入れ子符号付きインデックスされた Cl Closed 閉（性質） Cpt Component pointed 成分付点 Bcpt Boundary component pointed 境界成分付点 略号を…

細かい差異に気づかず、ボンヤリとなんとなくテキトーに同一視して、同一視していることを意識せずにいられれば、余計な気を使わず幸せと言える。面倒さや負担を感じることもない。逆に、細かい差異に気付き、それを意識し、分析的に取り扱おうとすると、気…

焼畑農業が必ずしも悪いわけではない。むしろ合理的で持続可能な農耕方式／農業形態ともいえる。火を入れる（畑を焼く）意味は： 灰を肥料にする。 雑草を抑制する。除草の手間が省ける。 火の熱が有機物の分解を促進することで作物の生育を促進させる。 htt…

次の語は同義語。 テンプレート、テンプレート変数 シェマ、シェマ変数 パターン、パターン変数 マクロ、マクロ変数 ジェネリック{ス}?、ジェネリック{ス}?変数 ……、プレースホルダー テンプレートのテンプレート変数を、実引数で置換〈substitute | replace…

かつてのCatyスキーマを今一度使おうと思う、理論的・教育的な目的で。A, B, C などは型名を表すメタ変数、S, T などはスキーマを表すメタ変数として、スキーマは、 A [], [A], [A, B], [A, B, C] など、 {}, {a:A}, {a:A, b:B} など これらの入れ子 以上で…

ドミニオン 「ドミニオン」を採用した理由は： 小さく、 よく統治されている。 ドミニオン〈dominion〉の定義は： 台は、小さい対称モノイド圏Cである。 モノイド否定 (￢, δ) が載っている。 特定された組み合わせ基底 B⊆|C| を持つ。 モノイド否定〈monoid…

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 という射が自然変換として割り当てられているときは相反的テンソル・ドミニオンと呼ぶ。 ベクトル空間のテンソル・ドミニオン。…