pointless topology Synonyms

locale theory pointfree topology