m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 プログラム意味論 課題 Σを指標として、SをΣから生成された自由圏とする。SからSetへの関手をモデルと呼ぶ。モデルは前層だから、モデルの全体は前層圏PSh(S)と同じ： PSh(S) = Mod[Σ] 。米田埋め込み よ:S→PSh(S) が考えられる。この米田埋め込みは、Σのエルブランモデルの族と同じだろう。A∈|S| に対して よ(A)∈PSh(S) つまり よ(A):S→Set。{よ(A) | A∈|S|} はエルブランモデル族。通常のエルブランモデルは、Σに特別な対象（終対象、またはモノイド圏としての単位対象）があるので、そこでだけ（一点だけ）でモデルを作っている。相対化すれば、任意の点（Σの対象）でのエル… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20180315%2F1521112605" 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 2018-03-15 20:16:45 rich https://m-hiyama-memo.hatenablog.jp/entry/20180315/1521112605 1.0 100%