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
The trick is to uncover the precise sense in which domains with measurements
and metric spaces are identical.