colimit としての自然数の集合

Posted on 金 30 8月 2019 in 数学 • Tagged with Domain Theory, 束論, 順序理論

F;i{nni}:NPosetF; i \mapsto \{n \mid n \leq i\}: \mathbb{N} \to \mathrm{Poset}


Continue reading

CPO に関連する定義まとめ

Posted on 水 01 5月 2019 in 数学 • Tagged with Domain Theory, 束論, 順序理論, 表示的意味論,

某勉強会がコーヒーブレイクタイムに入って,ブレイクタイムから抜けたら何もかも忘れてそうだったので,数式レンダリングのテストも兼ねて CPO 関連の定義だけまとめておくことにした.

なお各定義は, SoPL (Semantics of Programming Languages) に則ってる.

Complete Partial Order

まあ,まずはおなじみのやつから.

定義. 半順序 (partially ordered set, poset, partial order …

Continue reading