Metric spaces in synthetic topology
scientific article; zbMATH DE number 5987963
scientific article