Domain representations of spaces of compact subsets

Jens Blanck


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