New answers tagged

3 votes

What should we call a tag on point-free topology?

I suggest having two tags: pointfree-topology and locales-and-frames We should have synonyms: [pointless-topology] for the first, and [frames-and-locales], [frames] and [locales] for the second. We ...
David Roberts's user avatar
  • 32.2k

Top 50 recent answers are included