Skip to main content
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
  • 30.6k
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

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 ...
Alex Gavrilov's user avatar
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 ...
Noah Schweber's user avatar
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 ...
YCor's user avatar
  • 61.6k
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 ...
Alex M.'s user avatar
  • 5,345
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
  • 34.6k
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!

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!

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).
LSpice's user avatar
  • 11.7k
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 ...
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
  • 61.6k
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

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 ...
Joel David Hamkins's user avatar
1 vote
Accepted

Creating theories-of-arithmetic logic tag

I have created the tag synonym peano-arithmetic -> theories-of-arithmetic.
S. Carnahan's user avatar
  • 45.3k
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