Domains arising as algebras for powerspace constructions (Q689273)

In ``Filter monads, continuous lattices and closure systems'' [Can. J. Math. 27, 50-59 (1975; Zbl 0436.18003)], \textit{A. Day} showed that continuous lattices are precisely the algebras for the triple defined on the category of \(T_ 0\)-spaces assigning to each space its continuous lattice of filters of open sets. A similar type of result was obtained by \textit{P. Taylor} [J. Pure Appl. Algebra 64, No. 2, 171-203 (1990; Zbl 0705.18004)], who showed that the triple on locally connected spaces assigning to each space all filters of non-empty connected open sets has as its algebras the so-called \(L\)-domains, continuous domains with non- empty bounded meets. The author of the paper under review investigates analogous situations, but rather than allowing all filters, only considers Scott-open ones. The added restriction of locally quasicompact spaces is needed to guarantee that continuous domains arise from the construction. First, the triple assigning to each such space all Scott-open filters of non-empty open sets has as its algebras the continuous domains with binary meets, with algebra morphisms being Scott-continuous binary meet-preserving maps. On the other hand, the triple of Scott-open filters of non-empty connected open sets results in continuous domains with bounded binary meets together with Scott continuous maps preserving these. The article concludes with some discussion of what happens when these triples are restricted to supersober spaces.