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 ...
- 32.5k
8
votes
Help cleanup tags!
As of August 8, 2017, the length limit for tags went from 25 characters to 35 characters. So now is a great time to allow inconveniently compressed tag names to stretch out a bit...
Perhaps we could ...
7
votes
Creating theories-of-arithmetic logic tag
I think having a tag for something like this would be quite reasonable. However, I have a couple reservations with your proposal.
First, in my opinion "arithmetic logic" is not an ideal tag ...
- 21.2k
7
votes
Noncommutative rings/algebra tags
As someone who played a little with noncommutative algebra in the past I would approve this merger. In any case, something has to be done because "not necessarily commutative" does not look very ...
- 6,891
7
votes
Help cleanup tags!
I suggest deleting the tag decomposition-theorem.
I would guess that the tag was intended to be about the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber. It seems unnecessary to have a ...
6
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 ...
6
votes
On convexity tags
To go forth, here's one single suggestion, namely an expanded version of (2) in my question, namely do the following three things:
a) convex-geometry: its current tag guidance (which can be amended ...
- 63.9k
6
votes
Accepted
Should [tag:feynman-integral] be a synonym of [tag:path-integral]?
No. While it is true that in quantum mechanics a "Feynman integral" is a "path integral" (i.e. an integral of functions defined on a space of paths), in quantum field theory ...
- 5,407
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 ...
- 35.5k
5
votes
Help cleanup tags!
We have tags for both software and for mathematical-software. Some questions are tagged with both. I propose these be merged. Please comment if you disagree!
4
votes
Help cleanup tags!
About tag hyperkaehler (13 questions at this date).
a) tautological part: should be changed to hyperkahler, in coherence with the use of tags related to Kähler: kahler-manifolds, kahler-differentials....
4
votes
Help cleanup tags!
Suggesting to make characteristic-p a synonym of positive-characteristic. Both exist with with 232 questions and 82 questions (and only 7 tagged both). The first one has a tag excerpt. In practice, I ...
4
votes
Help cleanup tags!
The tag crystals seems to be used for three completely different meanings: 1) Quantum groups/representation theory/combinatorial crystals 2) Crystals in algebraic geometry/category theory 3) Crystals ...
4
votes
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 ...
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).
- 12.9k
4
votes
Help cleanup tags!
The tags noncommutative-algebra and noncommutative-rings should be merged; the first being more used, and also in analogy with the tag ac.commutative-algebra, I'd suggest to embed noncommutative-rings ...
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 ...
- 4,713
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 ...
- 63.9k
3
votes
Help cleanup tags!
I suggest invariant-theory and classical-invariant-theory be made synonyms. Don't see the point in making a distinction here.
3
votes
Help cleanup tags!
The tag ft.factorization-theory was created in 2016 by a user who did almost the totality of the 23 questions with it. It is formatted as a top-level tag, while it isn't. Could it be changed to ...
2
votes
Help cleanup tags!
continuity seems to have no coherent use. It has 3 watchers for 88 questions, which is a very low ratio (compared to tags with a comparable number of questions).
It's mostly to mean some use of ...
2
votes
Help cleanup tags!
I propose to systematically rename each tag xxx reduced to the name of a software, adding "-software" to make the tag (thus xxx-software) more understandable, and, furthermore, to allow to gather such ...
2
votes
Help cleanup tags!
I propose to make qcqp (10 questions) a synonym of quadratic-programming (34 questions).
quadratic-programming has no usage guidance.
qcqp has: A quadratically constrained quadratic program (QCQP) ...
2
votes
Help cleanup tags!
Done.
The tags locally-presentable-categories and presentable-categories should surely be synonyms. I would personally prefer that the former (much older, well-established, and less ambiguous, ...
2
votes
Should the tags (peano-arithmetic) and (theories-of-arithmetic) be merged?
I am not happy with the tag situation that we have created for these questions.
There is a very active area of research called Models of PA, short for Models of Peano arithmetic. This phrase appears ...
- 236k
2
votes
Creating theories-of-arithmetic logic tag
I realize that I am coming late to this discussion, but I am not happy with the tag situation regarding models of PA.
Currently I feel there is no suitable tag for questions about models of PA. This ...
- 236k
1
vote
Accepted
Creating theories-of-arithmetic logic tag
I have created the tag synonym peano-arithmetic -> theories-of-arithmetic.
S. CarnahanMod
- 45.7k
1
vote
Help cleanup tags!
There is a tag perrons-formula, created in 2023, and referring (in principle) to Perron's formula. The syntax is a bit clumsy, it is unusual to have such merging (Perron + 's = Perrons) in a tag.
I'd ...
1
vote
Help cleanup tags!
I think it might make sense to make polytopes a synonym for convex-polytopes. Although non-convex polytopes are sometimes studied, convex ones are much more prevalent. Also there are only 36 questions ...
Only top scored, non community-wiki answers of a minimum length are eligible