2018-09-11から1日間の記事一覧
マイクロコスモ原理は、原理ではあるが困難として立ちはだかる。逆帰納ステップをどうやって止めるか? がシビアな問題になる。次の方針はひとつの解決策となる。 圏論的世界(いちおう、グロタンディーク宇宙とは区別して世界)に最初から組み込みで存在す…
高次圏論的な指標の理論 - 檜山正幸のキマイラ飼育記 メモ編で挙げた類義語に追加して再掲。 指標 コンピュータッド ポリグラフ グラフ 箙 プレゼンテーション 仕様 セオリー スキーマ モデル 代数 加群 表現 マシン インスタンス ドクトリン ブランド フレ…