Maximal classes of topological spaces and domains determined by function spaces (Q1404255): Difference between revisions

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.