また裏紙に描いた絵。これは、型付け〈タイピング〉を一般的に考えるときのテンプレートで、kを決めて使う。kをズラしながら使うこともある。これで、無限階層の型理論が考えやすくなるぞ。だいぶ分かりやすい。

カテゴリー「セオリー論」 カテゴリー「インスティチューション」 「インスティチューション」の検索 「ハイパーインスティチューション」の検索 「リテラチャ」検索

階層的世界のレイヤー0がハッキリしてきた（0-指標＝集合の内包的記法 ！ - (新) 檜山正幸のキマイラ飼育記 メモ編参照）ので、自分の世界観（世界観と世界の中心線 - (新) 檜山正幸のキマイラ飼育記 メモ編参照）に確信がわいた。セオリーは世界のなかにラ…

分かったぞ！！ レイヤー1 1-指標 1-モデルの1-圏 アンビエントの1-圏 レイヤー0 0-指標 0-モデルの0-圏 アンビエントの0-圏 レイヤー0が不明だったが、 0-指標とは、集合の内包的記法 アンビエント 0-圏とは、内包的記法のコンテキスが定義するドメイン 0-…

世界がどうなっているのか、に対する期待、想定、要求などが世界観だ。世界観は多様であってよい。世界に、その中心線、あるいは幹、あるいは中心タワー〈ユグドラシル〉があると想定する。中心線の選び方も恣意的だ。が、利便性から選ぶと、 デカルトモノイ…

n-セオリーとインスティチューション - (保存用) 檜山正幸のキマイラ飼育記 メモ編に書いてあることが我ながら凄いな。なんで気付いたのだ？最近とは用語法・記法が違うので対応表。 過去 最近 Σk kΣ Ak kA k-Spef[-] (-)-kSig k-Mod[-] (-)-kAlg Ck なし Ck…