# Domain representations of spaces of compact subsets

## Jens Blanck

(Swansea)

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.

**Thursday 7th May 2009, 14:00**

Digital Technium, Room 05 (Access Grid Room) - Joint Seminar with Bath University

Department of Computer Science