What do partial metrics represent

摘要: Partial metrics were introduced in 1992 as a metric to allow the distance of point from itself be non zero. This notion self distance, designed extend metrical concepts Scott topologies as used in computing, has little intuition for mainstream Hausdorff topologist. The talk will show that partial over set can represented by with so-called 'base point'. Thus we establish is essentially structure combining both space and skewed view from base point. From this deduce what it are really all about.