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:  2011-03-29
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>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support