Prefer a chat interface with context about you and your work?
The local triangle axiom in topology and domain theory
We introduce a general notion of distance in weakly separated topological spaces. Our approach differs from existing ones since we do not assume the reflexivity axiom in general. We demonstrate that our partial semimetric spaces provide a common generalization of semimetrics known from Topology and both partial metrics and measurements …