m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 計算処理のモデルに集合圏はチトきびしい。部分写像の圏ならけっこういける。順序とか位相を入れるテもある。関係圏はより自由度が上がる。が、どうも関係圏でも不足な感じがしている。部分写像の圏を点付き集合と点（基点）を保存する写像の圏に直して（圏同値）、さらに全域（total）関係だけを考えて関係圏を作る必要があるようだ。全域関係ということは、R:A→B、x∈A のとき R(x)⊆B が空であってはならない。だが、⊥∈B が決まっているから、⊥に移す定数写像が使える。[追記]これって、「何も値が得られない」って言い方を認めないことだな。「無限に待つ」ことを「⊥という値が得られた」とする。これで、いかな… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20120602%2F1338606186" 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 2012-06-02 12:03:06 rich https://m-hiyama-memo.hatenablog.jp/entry/20120602/1338606186 1.0 100%