まとめておく。 一般 線形代数 遷移系（モノイド） DB（圏） 述語論理 左域 C Set Set Graph Set 右域 D Vect Mon Cat Set 左関手 F FreeVect FreeMon FreeCat Id 右関手 U ForgetVect ForgetMon ForgetCat Id 線形代数はドミニオン意味パートが面白くない。…

一般 線形代数 モノイド 圏 左域 C Set Set Graph 右域 D Vect Mon Cat 左関手 F FreeVect FreeMon FreeCat 右関手 U ForgetVect ForgetMon ForgetCat 単位 η linEmbed monEmbed catEmbed 余単位 ε linCalc monCalc catCalc モナド M LinComb MonComb CatCom…

「k-項のあいだの等式＝恒等(k + 1)-射」と考える。「等式は恒等射」主義。すべての次元に渡って等式を集めることは、すべての次元に渡って恒等射を集めること。できた恒等射の圏は無限次元圏だが、すべての次元でやせた無限次元圏。一般的に、両端＝境界を…

括弧に入れたものは、あまり興味を持たれてない。 一般 述語論理 データベース 遷移系 線形代数 指標 集合 スキーマ＠グラフ アルファベット 生成集合〈基底〉 指標の圏 集合圏 グラフの圏 集合圏 集合圏 コンビネーション 要素 カラムパス 字のストリング …

ゴチャゴチャとメモ。指標の同義語類義語 シグネチャ＠ML インターフェイス＠オブジェクト指向言語 コンセプト＠C++ 型クラス＠Haskell 型クラス＠Coq モジュール＠Objファミリー 手続きの同義語類義語 ファンクタ＠ML アダプター＠デザインパターン 型パラ…