有限個のベクトル空間からなる同伴クラブがあり、同伴クラブのメンバー V ごとにスカラー積 (-|-)V が指定されていて、 (y|x)V = (x|y)￢V 同伴クラブのペア（メンバーではない！）ごとにインデックス集合Iが割り当てられていて、互いに相反な基底 a, a# も…

用語・記号の変更 双対空間 → パートナー空間 ￢V は、Vのパートナー空間 V* は、Vのフォーム空間、ホム空間と考える。 V* は、Vのポインター空間、ホム空間と考える。 fの双対は双対のままだが、対偶〈contraposition〉、転置〈transposition〉、メイトとも…

ドミニオン - (新) 檜山正幸のキマイラ飼育記 メモ編 ドミニオン＝厳密対合関手を備えた対象モノイド亜群 ドミニオン (2) - (新) 檜山正幸のキマイラ飼育記 メモ編 ドミニオン＝基本ベクトル空間の有限集合 から生成された厳密対合関手を備えた対象モノイド…

一値論理＝コンパクト論理 - (新) 檜山正幸のキマイラ飼育記 メモ編 を敷衍。 行列 線形写像 コンパクト論理 ストリング図 スカラー対象 真偽値「空」 無、点線 スカラー射 矛盾シーケント 無ワイヤーノード 対象 命題 ワイヤー 複対象 命題リスト ケーブル …

むかーし、「一値論理」という言葉を聞いて「バカじゃないの」と思ったが、コンパクト論理は一値論理だ。単一の真偽値を「空」と呼ぶことにする。色即是空の空で、サンスクリット語（のラテン文字表記）で śūnyatā と書き、「シューニャ」または「シューニヤ…