Admissible domain representations of topological spaces
Göran Hamrin
Abstract
Göran Hamrin
Abstract
In this paper we consider admissible domain representations of topological spaces. A domain representation D of a space X is λ-admissible if, in principle, all other λ-based domain representations E of X can be reduced to D via a continuous function from E to D. We present a characterisation theorem of when a topological space has a λ-admissible and κ-based domain representation. We also prove that there is a natural cartesian closed category of countably based and countably admissible domain representations. These results are generalisations of [Sch02].
OpenAlex reports 8 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
In this paper we consider admissible domain representations of topological spaces. A domain representation D of a space X is λ-admissible if, in principle, all other λ-based domain representations E of X can be reduced to D via a continuous function from E to D. We present a characterisation theorem of when a topological space has a λ-admissible and κ-based domain representation. We also prove that there is a natural cartesian closed category of countably based and countably admissible domain representations. These results are generalisations of [Sch02].
Key concepts: Mathematics, Domain (mathematical analysis), Topological space, Closed set, Closure (psychology), Domain theory, Representation (politics), Representation theorem