m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ セオリー論 証明シェル プログラム意味論 圏一般論 課題 圏論的な世界〈world〉を次のようなものだとする。 世界の構成素を領地〈dominion〉と呼ぶ。 領地は、高次の圏、複圏、多圏のいずれかである。 領地は有限個である。 それぞれの領地は小さいn-圏, n-複圏, n-多圏である。 領地の次元は有限で、最高次元nが領地ごとに決っている。最高次元より高い次元の射は考えない。 領地はなんらかのドクトリンに所属して、ドクトリンにより振る舞いが制御されている。 領地のあいだの関手、複関手、多関手、自然変換、その他の関係などがあり、それが世界の構造を決めている。 世界を背景とした構文システムを考える。構文システムの基本は名前である。名前は世界のなかのモ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20171211%2F1512988458" title="世界と分類とハイパーインスティチューション - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-12-11 19:34:18 rich https://m-hiyama-memo.hatenablog.jp/entry/20171211/1512988458 1.0 100%