m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 cathand Setoid, Posetoidもトポスにはならない。部分対象に関して： 充満である -- 埋め込みを関手とみなして充満 推移的である -- x∈D, x〜y ⇒ y∈D 完全である -- 充満かつ推移的 計算可能な述語で定義される部分対象を定義可能と呼べば、定義可能なら完全である。その逆が成立するかどうかはよくわからない。性質の良い圏を作れば、「定義可能⇔完全」だと思うが。完全部分対象だけを相手にしていれば、かなり幸せなんだけど、そううまくいくかな？ 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20090822%2F1250910778" title="Setoid, Posetoidの部分対象 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2009-08-22 12:12:58 rich https://m-hiyama-memo.hatenablog.jp/entry/20090822/1250910778 1.0 100%