Domain representations of spaces of compact subsets
2010 ◽
Vol 20
(2)
◽
pp. 107-126
◽
Keyword(s):
We present a method for constructing from a given domain representation of a space X with 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. We study the topological properties of the space of representable compact sets and isolate conditions under which all compact subsets of X are representable. Special attention is paid to admissible representations and representations of metric spaces.
2015 ◽
Vol 25
(13)
◽
pp. 1550186
◽
Keyword(s):
2018 ◽
Vol 70
(3)
◽
pp. 538-594
◽
2001 ◽
Vol 63
(3)
◽
pp. 475-484
Keyword(s):
1961 ◽
Vol 262
(1309)
◽
pp. 159-178
Keyword(s):
2010 ◽
Vol 127
(3)
◽
pp. 260-272
◽