Topological spaces generalize as frames and locales.

But are there a pointfree generalization of uniform spaces?

  • 1
    $\begingroup$ Yes: uniform locales. Isbell discusses them in his 1972 paper, though I'm not sure if the definition on nLab is the same as his. $\endgroup$ – Zhen Lin Sep 8 '12 at 16:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.