m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ セオリー論 証明シェル プログラム意味論 圏一般論 素材： 名前の集合 Name アンビエントドクトリン アンビエント圏C： アンビエントドクトリンから1つ選ぶ 論理ドクトリンL 以上から、指標圏と指標射が作れて、指標圏を定義できる。この指標圏をベース圏として、論理ドクトリンLに値をとるインデックス付き圏をプレ・ハイパードクトリンと呼ぶ。プレ・ハイパードクトリンであって、ΣΔΠ随伴性を持つものを、Name, C上のハイパードクトリンと呼ぶ。ハイパードクトリンは、だいたい述語論理の構文論に対応する。ただし、アンビエント圏Cは基本的なセマンティクスに関係する。例えば、ハイパードクトリンにおける型はCの対象を意味する。ハイパードクトリンは指標圏の上の… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20171211%2F1512968730" 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 14:05:30 rich https://m-hiyama-memo.hatenablog.jp/entry/20171211/1512968730 1.0 100%