Synthetic Topology and Constructive Metric Spaces

Davorin Lešnik

The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an i…