The unification of metric spaces and domains
by
Keye Martin
Oxford University

It is not true in computation that we only have two objects to choose between when it comes to justifying recursive definitions formally. In addition to metric spaces and domains, we now have a third choice :)

The speaker will introduce everyone to the category of informatic spaces: A category of T1 spaces that contains domains with measurements and Scott continuous maps, on the one hand, and metric spaces and continuous maps, on the other. Of course, since we know that a domain is basically never T1 in its Scott topology, one should wonder how it is that such a category can exist.

The trick is to uncover the precise sense in which domains with measurements and metric spaces are identical.

Find more on the web site: http://web.comlab.ox.ac.uk/oucl/work/keye.martin

Date received: May 17, 2001

Copyright © 2001 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cagw-62.