2
$\begingroup$

Topological spaces generalize as frames and locales.

But are there a pointfree generalization of uniform spaces?

  • 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

0 Answers 0