


Approaching metric domains



Description: 
In analogy to the situation for continuous lattices which were introduced by Dana Scott as precisely the injective T_0 spaces via the (nowadays called) Scott topology, we study those metric spaces which correspond to injective T_0 approach spaces and characterise them as precisely the continuous lattices equipped with an unitary and associative [0,infty]action. This result is achieved by a thorough analysis of the notion of cocompleteness for approach spaces.

Date: 
20110329

Start Time: 
15:30 
Speaker: 
Dirk Hofmann (U. Aveiro)

Institution: 
Universidade da Aveiro

Place: 
Sala 5.5

Research Groups: 
Algebra, Logic and Topology

See more:

<Main>










