Abstract: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 Scott-continuous maps is $\Gamma$-faithful. In 2018, Ho, Goubault-Larrecq, Jung and Xi answered this question in the negative, and they introduced the category $\mathbf{DOMI}$ of dominated dcpo's and proved that it is {$\Gamma$-faithful}. Dominated dcpo's subsume many familiar families of dcpo's in domain theory, such as the category of bounded-complete dcpo's and that of sober dcpo's, among others. However, it is unknown whether the category of dominated dcpo's dominates all well-filtered dcpo's, a class strictly larger than that of bounded-complete lattices and that of sober dcpo's. In this paper, we address this very natural question and show that the category $\mathbf{WF}$ of well-filtered dcpo's is not $\Gamma$-faithful, and as a result of it, well-filtered dcpo's need not be dominated in general. Since not all dcpo's are well-filtered, our work refines the results of Ho, Goubault-Larrecq, Jung and Xi. As a second contribution, we confirm that the Lawson's category of $\Omega^{*}$-compact dcpo's is $\Gamma$-faithful. Moreover, we locate a class of dcpo's which we call weakly dominated dcpo's, and show that this class is $\Gamma$-faithful and strictly larger than $\mathbf{DOMI}$.

The set of maximal points of an $ω$-domain need not be a $G_δ$-set

Xi-Zhao Model Preserves WD Spaces

Jointly cyclic polynomials and maximal domains

ON ALMOST WELL-POSED MUTUALLY NEAREST AND MUTUALLY FURTHEST POINT PROBLEMS

Two Counterexamples Concerning the Scott Topology on a Partial Order

On Well-posed Mutually Nearest and Mutually Furthest Point Problems in Banach Spaces

GENERIC WELL-POSEDNESS FOR PERTURBED OPTIMIZATION PROBLEMS IN BANACH SPACES

Lonely points in $ω^*$

$ω$-well-filtered spaces, revisited

Maximal δ-separated sets in separable metric spaces and weak forms of choice

Apartness, sharp elements, and the Scott topology of domains

Gorenstein Krull domains and their factor rings

The category of well-filtered dcpos is not $Γ$-faithful

The Galvin property under the ultrapower axiom

Uniform domains and moduli spaces of generalized Cantor sets

A new characterization of $L^2$-domains of holomorphy with null thin complements via $L^2$-optimal conditions

Generalized Mrówka Spaces and Diagonal Properties

A note on $G_δ$ ideals of compact sets

Observations on Spaces with Property $(Dc(\omega_1))$

$\Phi$-Irregualr Points, Maximal Oscillation and Residual Property

A Non-Ω-balanced Paratopological Group with Countable Π-Character