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.

http://web.comlab.ox.ac.uk/oucl/work/keye.martin