Quasi Uniformities: Reconciling Domains with Metric Spaces

摘要: We show that quasi-metric or quasi-uniform spaces provide, inter alia, a common generalization of cpo's and metric as used in denotational semantics. To accommodate the examples suggested by computer science, reworking basic notions involving limits completeness is found to be necessary. Specific results include general fixed point theorem sequential completion construction.