指標からアンビエント圏への関手をモデルまたはインスタンス（ときに代数）と呼ぶが、固定する心づもりのときはモデル、動かすときはインスタンスと呼ぶことにする。ドメイン指標は、ドメイン名と f:d1, ..., dn→c （nは1以上）の形のドメイン間関数名の集ま…

符号〈コード〉の定義がダメだった。Qをアルファベットとして、Qnの部分集合をコードと定義しているが、実際はそれじゃダメだ。Qk, Qn, g:Qk→Qn の3つ組がブロック符号系だとは： gが単射 のとき。この構造の役割名は： Qk を情報空間 Qn をブロック空間 gを…

SQL 純粋リレーショナル 檜山 update modification update ? update mutation ちなみに、modificationは圏論の2-transforだし。 SQL 純粋リレーショナル 檜山 table relation table relationship - relation 代数／論理的なモデルに関しては SQL 純粋リレー…

アナロジーがあるが、まだ前々未整理。 チャンネル理論 データベース 符号理論 可測空間 集合 有限集合 値の可測空間 ドメイン 有限体 事象の可測空間 実体 有限集合 状態 状態 符号 述語 述語 双対符号 [0, 1]区間 1 2 チャンネル 関係 チャンネル 直積 直…