9 votes

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

Since Martin Sleziak wrote an answer defending making the name pointless-topology the main tag (with locales and ...
Gro-Tsen's user avatar
  • 27.8k
5 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.9k
4 votes

Help cleanup tags!

A tag called field-with-one-element with one element was created recently. At the same time, there already exists a tag called f-1. (Currently with 66 questions.) Since both of them refer to field ...
4 votes
Accepted

Remove [tag:slick-proof] or make it a synonym of [tag:alternative-proof]

This has been done (probably a long time ago, but I just noticed).
LSpice's user avatar
  • 10.3k
3 votes

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

I would suggest to create a new tag pointless-topology - for example, this is the name used in the Wikipedia article. And then make the two tags locales and frames synonyms of this tag. (I.e., the tag ...
Martin Sleziak's user avatar
3 votes

The tags (publishing) and (journals) - maybe change direction or cancel the synonym

We could also imagine create the tag journals-and-publishing (or journals-publishing) and make both journals and publishing synonyms of it. These are only 300 questions and I'm not sure two separate ...
YCor's user avatar
  • 57.7k
1 vote

Help cleanup tags!

I suggest to make infinite-sequences (62 questions as of now) a synonym of sequences-and-series (1458 questions). I see no usefulness to distinguish them, and the drawback of not gathering basically ...

Only top scored, non community-wiki answers of a minimum length are eligible