マルコフ核： 確率計算のモダンな体系 - 檜山正幸のキマイラ飼育記 (はてなBlog) 測度的積分核と随伴構造 - 檜山正幸のキマイラ飼育記 (はてなBlog) 意味 新 旧 カリー化 F∧ (なし) 反カリー化 F∨ (なし) 関数の引き戻し F*(f) f.F 測度の前送り F*(L) F.L …

XXX装備圏は XXX-supplied category のこと。XXX-supplied category ＝ category with XXX-supply. 例：余可換コモノイド装備圏 ＝ 準マルコフ圏 例：可換モノイド装備圏 ＝ 準余マルコフ圏 例：フロベニウス代数装備圏 ＝ ハイパーグラフ圏 例：可換余可換…

事前にスケジューリングにより、URL決めておく。既にURL生成済み。 管理者権限はログインにより獲得する。アカウントは別途通知。 PCを2つ使う必要性はないようだが、予備にスタンバイは必要。 自分自身のモニタリングはさほど必要ではない。 誰かのクローズ…

装飾の種類 付与 忘却 leg order structure ordering unordering leg bipartite structure bi-partitioning fusioning in-out structure in-out assignment in-out forgetting 割り当てと忘却を使うと： order assignment ←→ order forgetting bi-partition …

過去： 代表値汎関数とシャープ化オペレータ - (新) 檜山正幸のキマイラ飼育記 メモ編 ジリィ型モナドのアイレンベルク／ムーア代数を{重心 | 平均{値}? | 中心 | 代表{値}}代数と呼ぶ。その代数の代数演算、または代数演算の結果を{重心 | 平均{値}? | 中心…

チャンネル理論とデータベースと符号理論 - (新) 檜山正幸のキマイラ飼育記 メモ編 論理とテンソル計算 - (新) 檜山正幸のキマイラ飼育記 メモ編 ドメイン圏とテーブル代数 - (新) 檜山正幸のキマイラ飼育記 メモ編 新ERモデル 2 - (新) 檜山正幸のキマイラ…

ストリング図から辺の向きをなくした図をカップリング図と呼ぶ。カップリング図の意味はダガー厳密モノイド圏（https://ncatlab.org/nlab/show/dagger+category）から作られた多圏を置換同型で商をとった商圏内のポインティング射である。ストリング図に比べ…