The category of well-filtered dcpos is not $\Gamma$-faithful

Hualin Miao, Huijun Hou, Xiaodong Jia +1

The Ho-Zhao problem asks whether any two dcpo's with isomorphic Scott closed set lattices are themselves isomorphic, that is, whether the category $\mathbf{DCPO}$ of dcpo's and Sco…