The reflective hull of the two-element chain in DCPO: properness, maximal Γ-faithfulness, and an internal reflection formula

Xulong He, Zhenchao Lyu, Yuxu Chen +1

Let \(\DCPO\) be the category of dcpos and Scott-continuous maps, and let \(\Rtwo\) be the reflective hull of the two-element chain \(2\). We prove that \(\Rtwo\) is the least non-…