Maximal classes of topological spaces and domains determined by function spaces

From MaRDI portal
(Redirected from Publication:1404255)





This paper studies categorical properties of both topological and domain categories. Given a topological \(T_0\)-space \(A\) and a domain \(B\) with the Scott topology, let \([A\to B]\) denote the space of continuous functions from \(A\) and \(B\) endowed with the pointwise order and the Lawson topology. Among the problems considered are the following: (1) Given a class \({\mathcal B}\) of domains, determine the class \({\mathcal A}\) of all \(A\) such that \([A\to B]\) is a Lawson compact domain for all \(B\) in \({\mathcal B}\). (2) Given a class \({\mathcal A}\) of \(T_0\)-spaces, determine the class \({\mathcal B}\) of all domains \(B\) such that \([A\to B]\) is Lawson compact for all \(A\) in \({\mathcal A}\). The authors determine representations of the classes \({\mathcal B}\) and \({\mathcal A}\) in (1) and (2) which are fairly close to minimal and which they call lean representations.











This page was built for publication: Maximal classes of topological spaces and domains determined by function spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1404255)