加载中…
In analogy to the situation for continuous lattices which were introduced by Dana Scott as precisely the injective T spaces via the (nowadays called) Scott topology, we study those metric spaces which correspond to injective T approach spaces and characterise them as precisely the continuous lattices equipped with an unitary and associative -action. This result is achieved by a thorough analysis of the notion of cocompleteness for approach spaces.

生成讲解博客的中文版本

生成AI智能校验的中文版本