ER圏とERスキーマとER状態ER圏の指標は、次のような演算子記号を持つ。 ; × (-)T [-, -] ∪ ∩ (-)∩ ∩(-) (-)∪ ∪(-) δ(-) ρ(-) 構造の観点から分類すると： ダガー付きコンパクト閉圏： ;, ×, (-)T, [-, -], (-)∩, ∩(-), (-)∪, ∪(-) 束豊饒圏〈lattice enriche…

圏論のドメイン ドメイン理論のドメイン ドメイン付きクリーネ代数のドメイン データベースのドメイン 回避案 圏論のドメイン／コドメイン → ソース／ターゲット ドメイン理論のドメイン → (なし) ドメイン付きクリーネ代数のドメイン → 制限〈restriction〉…

ジェイコブスのチャンネル理論の枠組みで、 有限集合のチャンネル理論 実アフィン空間とガウス分布のチャンネル理論 多様体のチャンネル理論 有限アフィン空間のチャンネル理論 を定式化したい。有限アフィン空間のチャンネル理論は線形符号理論になるはず。…

代数符号 - (新) 檜山正幸のキマイラ飼育記 メモ編 代数符号の言葉 - (新) 檜山正幸のキマイラ飼育記 メモ編 ↑記事とだいたい同じことだが、自分で使う用語をもう一度まとめておく。Qはアルファベット（形式言語理論の用語）で、その要素はシンボルと呼ぶ。…