Jens Blanck: Domain representations of spaces of compact subsets

Domain representations of spaces of compact subsets

Jens Blanck
Computer Science Department
Swansea University

Abstract: We present a method for constructing from a given domain representation of a space X, with an underlying domain D, a domain representation of a subspace of compact subsets of X where the underlying domain is the Plotkin powerdomain of D. We show that this operation is functorial over a category of domain representations with a natural choice of morphisms.