このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2018-09-11から1日間の記事一覧

マイクロコスモ原理とデカルト構造の無限タワー

マイクロコスモ原理は、原理ではあるが困難として立ちはだかる。逆帰納ステップをどうやって止めるか? がシビアな問題になる。次の方針はひとつの解決策となる。 圏論的世界(いちおう、グロタンディーク宇宙とは区別して世界)に最初から組み込みで存在す…

指標関係の同義語・類義語

高次圏論的な指標の理論 - 檜山正幸のキマイラ飼育記 メモ編で挙げた類義語に追加して再掲。 指標 コンピュータッド ポリグラフ グラフ 箙 プレゼンテーション 仕様 セオリー スキーマ モデル 代数 加群 表現 マシン インスタンス ドクトリン ブランド フレ…