Topological spaces generalize as frames and locales.
But are there a pointfree generalization of uniform spaces?
general-topologyuniform-spaces
asked 2012-09-08
user id:4876
2k
11gold badges1212silver badges2727bronze badges
1
Yes: [uniform locales](http://ncatlab.org/nlab/show/uniform+locale). Isbell discusses them in his 1972 paper, though I'm not sure if the definition on nLab is the same as his. – 2012-09-08