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 can put the suggestion in the tag wiki snippets to add the other tag of the pair. But it's not alwa...