A tutorial presented at the Mathematical Foundations of Programming Semantics XXIII Tutorial Day.
|
|||||
|
With Davorin Lešnik. Abstract: We investigate the relationship between constructive theory of metric spaces and synthetic topology. Connections between these are established by requiring a relationship to exist between the intrinsic and the metric topology of a space. We propose a non-classical axiom which has several desirable consequences, e.g., that all maps between separable metric spaces [...] |
|||||
|
|
|||||