Tag management 2015 [duplicate]

Tags need a regular cleanup. This is a customary thread for tag synonyms etc.

Rules of the game are basically the same:

• a particularly bad tag (a rule of thumb: «if I can't imagine a person classifying a tag as either interesting or ignored, I'm getting rid of it»),
• a tag that should be a synonym of an existing one,
• a tag that used for two or more completely unrelated things,
• a need to create a new tag;
• let's wait a couple of days before implementing a suggestion;
• after the problem described in an answer is resolved, please edit it to say so.

(Of course if a proposal requires an extended discussion you can post it as a separate question.)

• A possible tool for finding not-so-great tags: Tags by percentage closed. I hypothesize that some tags, by their mere existence, encourage poor and/or offtopic questions; this query attempts to sort tags by badness of questions. – apnorton Aug 4 '15 at 16:51
• @apnorton I guess great minds think alike! Though mine is a horrible SQL mess (I think because I also wanted to have the overall % of closed questions, I don't remember). – Najib Idrissi Aug 4 '15 at 16:52
• @NajibIdrissi I swear I searched before writing mine! :P – apnorton Aug 4 '15 at 16:53

I don't understand intended usage of . Perhaps it should be either made a synonym of or just removed.

(Tag-wiki explains things like «The letter Z comes from the German word "Zahlen" which means "numbers".» but doesn't help much.)

Upd. Many questions tagged 'integers' are obviously in need of manual retagging, I'm afraid.

I don't think it hurts to have them

IMO it does hurt (well, a little). Such tags lead to 'hash-tagging' questions (in the spirit of... I don't know... «How to prove that triangular number $>1$ can't be a square? #integers #square #triangle #proof-technique») instead of using correct tags like (elementary-)number-theory etc (corresponding to... areas of expertise, I'd say).

(All this doesn't apply to — which looks like a reasonable tag to me.)

• I would remove that tag; various question are not number theory. – quid Jan 2 '15 at 18:00
• There are also (natural-numbers), with a similar problem. Some questions belong to elementary-number-theory, some belong to logic. – user147263 Jan 2 '15 at 18:03
• @quid Removing the tag manually is a fair bit of work. Removing automatically involves SE staff, which is probably warranted only when the tag is explicitly problematic. This one looks slightly weird, but then again: how would you tag a question about a puzzle SIX+SEVEN=EIGHT or some such? (puzzle) and (integers) seems reasonable in such a case. My suggestions: (1) make (natural-numbers) a synonym of (integers); (2) edit the excerpt to indicate that the tag should not be used by itself; (3) retag the questions where it is used by itself. – user147263 Jan 2 '15 at 19:30
• @Behaviour Some of puzzles like this should be, perhaps, tagged (elementary-number-theory) (and some, perhaps, should not). In any case, I don't see how having a tag (integers) on such puzzles is helpful. To me it sounds like having a tag 'plus-sign' for puzzles that, well, contain a plus sign [and are difficult to categorise otherwise]. – Grigory M Jan 2 '15 at 19:38
• No, moderators cannot blacklist (status-declined) or even mass-remove (no-status). As for second point, I do not argue that it's helpful, but rather "not harmful". – user147263 Jan 2 '15 at 19:41
• @Behaviour BTW, do you see any real questions that can't be adequately tagged w/o (integers)? I've skipped through the list and it seems that most (?) in fact should be (elementary-number-theory) and the rest — everything like (induction), (algebra-precalculus) etc. – Grigory M Jan 2 '15 at 19:42
• @Behaviour the tag "as is" seems like pure noise to me; I just browsed again the questions, there is not even much like a pattern to that list. But I do not insist it is deleted. The main point of my comment was to signal that it should not be synomised/merged into ENT. – quid Jan 2 '15 at 19:43
• @Behaviour Since you have mentioned (natural-numbers), I'll add a link to a discussion in chat. It was suggested there that this tag could be used for what I would call foundational issues. (For example, set-theoretical definition of natural numbers.) – Martin Sleziak Jan 4 '15 at 10:52
• @Martin Maybe you could thing about better name for such tag (for found. issues)? I'm sure a tag named (natural-numbers) will be misused, no mater what we decide here (or even write in tag wiki). – Grigory M Jan 4 '15 at 21:21
• @GrigoryM I am just reporting an older discussion. (If some tags have been discussed before we should not ignore that.) In any case, this is only marginal issue here, the post was about (integers). If further discussion is needed, let us continue in chat. – Martin Sleziak Jan 5 '15 at 10:47
• I have always seen the specific tags (rational-numbers), (real-numbers), (integers) and (natural-numbers) as being appropriate for questions about the properties of those structures specifically. For instance, a question regarding the countability of the rational numbers might belong in (rational-numbers) because it is a question about that specific set, as would a question on how to define the rational numbers. One similarly might use (natural-numbers) for a question like "what subsets of the natural numbers are closed under addition"? Granted, the tags don't seem all that (contd) – 6005 Jan 6 '15 at 17:57
• (contd) illuminating or helpful, but I don't think it hurts to have them, and if some amateur mathematician were particularly interested in understanding one of these sets of numbers they might find the tags useful. – 6005 Jan 6 '15 at 17:58
• Note that there are a few questions tagged with only integers or natural-numbers – Bart Michels Jan 28 '15 at 14:40

Resolved

I don't care too much for .

• It lumps together questions about homomorphisms in different algebraic structures, which work quite differently, in general. Therefore, few users will find it convenient to ignore or favorite.

• The tag for each of these algebraic structures necessarily includes questions about homomorphisms between those structures. Questions about module homomorphisms, for example, would be better with just . doesn't really add anything.

I think we should blow it up.

Resolved. The tag is now synonym of linear-algebra.

I also suggest a removal of the tag . It isn't really that meaningful to warrant its own tag. Often in linear algebra, we are considering spans of vectors implicitly. If the tag was being applied correctly, a large portion of the questions concerning linear algebra would be tagged .

• This could be also solved simply by making (span) synonym of (linear-algebra). (After we make sure that it does not contain post from other topics.) – Martin Sleziak Jan 21 '15 at 19:50
• For sure. I think that's a good option (just to prevent the tag from being created again, unnecessarily). – Cameron Williams Jan 21 '15 at 21:27
• Once upon a time, I argued for the tag should not be synonymized to (linear-algebra) because it also comes up in (functional-analysis). But I no longer hold that view; it turns out that users asking (functional-analysis) questions don't use this tag, whether or not their problem involves span. So, I support making it a synonym of (linear-algebra). – user147263 Jan 26 '15 at 20:36
• @Fundamental Makes sense. I can understand your initial viewpoint but I think users asking functional analytic questions on average use more descriptive tags than one as general as span. – Cameron Williams Jan 26 '15 at 20:39
• I've suggested that (span) be made a synonym of (linear-algebra). – Cameron Williams Jan 26 '15 at 20:51
• I will add a link to the page where users can vote on this synonym: math.stackexchange.com/tags/linear-algebra/synonyms (Perhaps you might edit the information that you have suggested the synonym into your post. If you find it useful, you could also add this link. In this way, the information that the users can vote on the synonym will be visible to more users.) – Martin Sleziak Feb 2 '15 at 9:16
• Sigh my upvote seems to be the only one the suggested synonym has. – user147263 Oct 12 '15 at 21:56
• @MiceElf Oh well. I've suggested a handful of tag obliterations over the last couple of years. Nothing ever came of it, despite being well-received. – Cameron Williams Oct 12 '15 at 23:04

, really?

What is it good for? Do we really need it?

• Absolutely nothing! – Cameron Williams Jan 17 '15 at 8:08
• I actually think that this could be a viable (if little used) tag, but as it is currently used it is not. "Examples of pretty mathematical pictures" questions shouldn't be asked at all, and questions about visualising mathematics likely shouldn't be in this tag. But questions concerning the connection between some piece of art and mathematical concepts could very well be worthwhile. A first step might be to go through the tag and cull what should be culled, and see what's left. – user642796 Jan 24 '15 at 8:19
• @Art: We already have visualization for that sort of questions. But I'm not surprised to see you support a tag named after you... :-P – Asaf Karagila Jan 24 '15 at 10:18
• At the same time on a site close by: math-and-art (created two days ago). – quid Jan 24 '15 at 12:44
• @quid: That question has nothing to do with art either. – Asaf Karagila Jan 24 '15 at 12:48
• My comment is not an endorsement of these tags. I merely found the temporal coincidence amusing. (If you'd delete the tag on MO I for one would be happy.) – quid Jan 24 '15 at 12:52
• I don't see (visualization) as a superset of (art). Of the questions currently tagged (art) I think only five (one, two, three, four, five) are legitimately about math and art. Of those I think only the first two are really suitable for the site. The first is certainly not about (visualization). (So IMO it would be a tiny tag.) – user642796 Jan 24 '15 at 13:15
• @Art: You said "and questions about visualising mathematics likely should be in this tag." – Asaf Karagila Jan 24 '15 at 13:20
• No I didn't. Your mind must be playing tricks on you. – user642796 Jan 24 '15 at 13:22
• @Art: I must have been dazzled by your shiny diamond. – Asaf Karagila Jan 24 '15 at 15:29
• I see this as being similar in usage to reference-request, but merging it into that would obviously not be good for searchability. Somebody wants to see beautiful art about a specific mathematical subject, I wouldn't call that off-topic. (Actually I've dang-near talked myself into asking big-list in the process of writing this comment.) In other words, my vote is for keeping art. – Alexander Gruber Mar 26 '15 at 0:29
• A tag that is used appropriately in only 2 questions out of 10 is probably not worth having. – 6005 Aug 7 '15 at 18:51

Resolved

List of reasonably upvoted (+5 or more) but not yet implemented suggestions from «Tag management 2014»:

• All three issues mentioned in this post seem to be resolved now: 1, 2, 3. – Martin Sleziak Jan 7 '15 at 13:40

Resolved: Shog9 has burninated this tag.

remove

it's used for questions from «why intersection of two ideals is an ideal» to «how to compute this area of intersection using integral»; as Najib Idrissi puts it

I don't think there should be tags "intersection" or "union" at all. These two operations appear literally everywhere in mathematics, so it's hard to restrict the tag to a single field. And I have a lot of trouble imagining someone looking specifically for questions about intersections or unions regardless of what is being intersected or united.

• Finally, I can upvote my own answers! :-) – Asaf Karagila Jan 17 '15 at 12:24
• Minor update: At this moment, every question tagged [intersection] is also tagged with additional tags. So the tag is ripe for destruction. – Asaf Karagila Jan 24 '15 at 15:29

I think the first should be deleted (and replaced by the second) as contained (and less used, here and in the mathematical practice) into the second.

• The (grobner-generators) tag has both tag-wiki and tag-exceprt. They could be used for (groebner-basis) tag, which has the empty tag-wiki at the moment. – Martin Sleziak Feb 23 '15 at 20:12
• Other possibility would be making (grobner-generators) a synonym of (goebner-basis). (Perhaps with the lattter as the master tag.) This would eliminate need for manual retagging. – Martin Sleziak Feb 23 '15 at 20:13
• Perhaps make grobner-basis a synonym of groeber-basis. Someone typing gro... with the intention to add grobner-basis will usually see tag suggestions involving the word group, but soon enough a b will be written, hiding the groebner-basis tag suggestion and causing the user to add a grobner-basis tag. Same problem with "mobius-..." vs "moebius-..." – Bart Michels Mar 16 '15 at 18:10

I made a meta post a while ago about having separate tags for and . Based on their use, it seems like they are almost always used in the same context and their tag wikis are almost the same as well. While not all complex integration is about contour integration, e.g. area integrals, it is almost always the case in practice and on this site. was created over two years ago whereas was created just a few months ago. As a result I think that should be deprecated or made a synonym of . Based on the response contained therein, I think this is a reasonable course of action.

Here is the tag synonym page on which this can be voted.

• The class of problems about area integrals seems to suggest potential trouble with a synonym. Is there a complex-area-integrals type tag for these? Has there not been enough questions to warrant one? – Alexander Gruber Mar 26 '15 at 0:35
• I agree - complex-integration should absolution be made a synonym of contour-integration. While some people might argue that contour integration may be performed in $\mathbb{R}^2$, I would say that is rather path integration or line integration. Contour integration seems to be a moniker reserved for the complex plane and would thus encompass all of complex integration. – Ron Gordon Apr 9 '15 at 0:21

In accordance with this post and the responses there, I suggest:

[other suggestion moved to a separate answer]

• related discussion (started in 2010, but last answer 04.2014) – Grigory M Jan 4 '15 at 0:09
• I'm not sure I like the second suggestion — (teaching) has very clear meaning [even if it's sometimes misused], distinct from (education) [which is much more loose] – Grigory M Jan 4 '15 at 0:18
• Splitting (education) into (teaching) and (learning) seemed like a good idea — but now I see that, say, 'What parts of a pure mathematics undergraduate curriculum have been discovered since 1964?' is (education) but neither (teaching) nor (learning)... – Grigory M Jan 6 '15 at 16:26
• I've gone through and manually retagged all questions tagged only with self-learning. There are too many total (self-learning) questions to retag them all, but perhaps a bit more targeted retagging (e.g., look at questions tagged both (self-learning) and (soft-question), these are likely to need to be tagged (self-learning)) and then we can delete (self-learning). – 6005 Jan 8 '15 at 23:28
• The main problem with the self-learning is that it's not clear if it is meant for "self-assigned homework" or for "where can I learn about X by myself". The latter type of question seems much more suitable for reference-request, while tagging the former with a specific flag is rather pointless in an universe where the tag "homework" is undesirable. – Fizz Feb 27 '15 at 8:38
• One thing I'm afraid would happen though is that the "learning" tag will become equally useless over time unless strong language is added there to emphasize that it should only be used about the process of learning and just not for any self-posed question. – Fizz Feb 27 '15 at 8:49
• It might even be better if the process-related teaching and learning tags were burnianted too. The Math Educators SE seems to fill that gap, although it seems to exclude "Math Self-Educators". – Fizz Feb 27 '15 at 9:14

Resolved: was merged into and made a synonym of .

We have two tags, and . Given the recent fate of and the fact that only has 3 questions, I suggest merging both into (since (group-homology-cohomology) is a bit of a mouthful), possibly making a synonym of .

• I said the word homology a lot in this post. – Najib Idrissi Jan 1 '15 at 20:57
• Similar thing was done with tags (homology) and (cohomology), see here. – Martin Sleziak Jan 2 '15 at 8:31
• How about merge and rename as group-(co)-homology? – Andrés E. Caicedo Jan 2 '15 at 18:25
• @AndresCaicedo Tag names cannot contain parentheses. They consist of letters, numbers, and symbols + # - . – user147263 Jan 2 '15 at 18:36
• Oh, well.${}{}$ – Andrés E. Caicedo Jan 2 '15 at 18:46
• Maybe (group-co-homology), then? – user147263 Jan 2 '15 at 19:25
• I support merging into group-cohomology. I have always heard group theorists refer to the topic as "group cohomology," even when they're talking about homology; it's just what the discipline is called. – Alexander Gruber Jan 2 '15 at 20:53
• @AlexanderGruber Given how uncontroversial this has been, I think you can just go ahead and do it (I don't know if that entails much work). – Najib Idrissi Jan 3 '15 at 10:27
• @najib I've been away from my laptop this week for new years, but I'll do so when I get back, if another mod hasn't by then. (Mod tools are a bit difficult on my phone.) – Alexander Gruber Jan 4 '15 at 1:30
• Okay, it's done. – Alexander Gruber Jan 7 '15 at 4:18

Update: The suggested tag synonyms and have been withdrawn. See my answer here for related goings-on.

EDIT3: There is now a separate post discussing these tags: http://meta.math.stackexchange.com/questions/20664/on-gcd-and-greatest-common-divisor-and-other-similar-tags

So if these tags are discussed further, it should be done there.

The tag is already synonym of .

It seems logical that the tag should also be a synonym. (And maybe also could be created and added to the synonyms; so that some user does not create this tag as a separate tag in the future.) As I do not have sufficiently high score in to suggest a synonym, I am posting this suggestion here.

The recent revisions of (least-common-multiple) tag-excerpt and tag-wiki specifically mention that the notion of lcm exists not only for integers but also in rings. (And that the tag is also suitable for this usage.) I don't think this should cause a problem, since rings are also mentioned in the tag-wiki for divisibility. (Although it not explicitly mentioned at the current version of tag-excerpt.) Note that the tag-wiki for divisibility explicitly mentions both gcd and lcm.

EDIT: quid added this to the suggested synonyms. So it is now possible to vote on these synonyms here.

EDIT2: The tag was made a synonym of as a result of this discussion: http://meta.math.stackexchange.com/questions/10998/on-the-gcd-tag. In this post I merely suggested that should be treated similarly as .
If (gcd) being synonym of (divisibility) seems problematic to some users (as the comments suggests), it should be probably discussed in a separate thread. (I am not sure what happens to the questions tagged by the synonymous tags if a tag-synonym is removed from the system. And a synonym definitely should not be removed without discussing such step first.)

• I proposed the synonyms. (On the after-thought: it would even be worse fo gcd if it were a problem. There is even a specific notion of domains where one has a gcd, creatively called gcd-domain.) – quid Jan 24 '15 at 15:49
• Thanks! I should point out that the tag (gcd) was previously discussed here. (The accepted answer is the suggestion to create the synonym.) – Martin Sleziak Jan 24 '15 at 15:54
• The gcd tag should not be a synonym of divisibility. Many problems on divisibility have little to do with gcds and lcms (which need not even exist in general domains). – Bill Dubuque Feb 3 '15 at 3:15
• @BillDubuque Tag synonyms are asymmetric. (gcd) is remapped to (divisibility), which is its master tag. Not conversely. – user147263 Feb 3 '15 at 4:30
• @Fundamental Yes, but so what? – Bill Dubuque Feb 3 '15 at 5:16
• @BillDubuque As I pointed out, there was a separate discussion on this tag. I posted there an answer suggesting to keep gcd. That answer got total score 2 (+3/-5). – Martin Sleziak Feb 3 '15 at 6:54
• @Fundamental I have yet to see any cogent argument for mapping gcd/lcm to divisibility. This makes it much more difficult to use tag-related tools to refine to problems on gcd/lcm. Note that one cannot always search on "gcd" since it is frequently denoted namelessly, i.e $\,(a,b) := \gcd(a,b)$ is in widespread use. – Bill Dubuque Feb 3 '15 at 13:37
• Whatever is done I think the final result should have some symmetry. That is, having "gcd" as synonym yet not "lcm" seems weird, especially as "gcd" is the in my perception more wide spread notion. I am somewhat skeptical of having very many tags. As a compromise, what about a joint "gcd-lcm" tag? @BillDubuque what do you think? – quid Feb 5 '15 at 23:48
• @BillDubuque I have posted a new question on meta to discuss fate of the (gcd) tag. Since you have mentioned in comment, that you do not think they should be synonyms, I though that it would be good idea to let you know about the new question. – Martin Sleziak Jun 1 '15 at 8:34
• @Martin Thanks for the tip. But nowadays I prefer not to waste any further time on meta matters. MSE is now past the SE point of no return (inmates running the asylum). – Bill Dubuque Jun 1 '15 at 21:52
• @BillDubuque Even if you decided to stop your activity on meta, you might at least upvote quid's answer, which suggest basically the same thing as what you said in the above comment - that (gcd) and (divisibility) should be two separate tags. (But maybe you have already upvoted it.) – Martin Sleziak Jun 3 '15 at 8:10

Resolved: is now a synonym of

I think that the tags and should be synonyms. (The latter is probably relatively new. It is still shown in the list of the new tags and it contains only 17 questions at the moment.)

EDIT: Users with sufficient reputation in the tag can vote for (or against) this synonym here.

• Well it has 78 questions now... – user147263 Oct 12 '15 at 22:03

Resolved: tag removed from all questions

Someone recently created the tag . Do we really need a tag separate from for this? Especially with schemes, these objects being very often "over" another scheme, ie. the object studied is the morphism $S \to S_0$ where $S_0$ is some fixed base scheme ($\operatorname{Spec} \Bbbk$ for example)...

More generally I don't think every tag about an algebraic structure should be doubled with a tag about the morphisms between these algebraic structures; why not "morphisms-of-groups", "morphisms-of-rings", "morphisms-of-graphs", "functors", "linear-maps"...?

• I know there's a tag continuous (synonym of continuity), but students in the majority of cases study continuity before even knowing what a topology is. – Najib Idrissi Jan 15 '15 at 14:08
• I'm in agreement here. It's almost implied I think since we're often considering such maps implicitly in the subject matter. – Cameron Williams Jan 16 '15 at 0:21

Resolved (synonyms created, also for while we were at it)

• If precedent is anything to go by, moebius-* should be the primary tags. – Najib Idrissi Mar 8 '15 at 10:58
• Is there a need for these? Do people tag "mobius-xyz"? – Daniel Fischer Mar 18 '15 at 13:29
• Someone typing mo with the intention to add the tag mobius-xyz will usually see tag suggestions like modules, homotopy-theory, modular-arithmetic etc, but soon enough a b will be written, hiding the moebius-xyz tag suggestion and causing the user to add a mobius-xyz tag instead. If nobody keeps an eye on this we end up having both mobius-xyz and moebius-xyz. To avoid this we need the synonyms. – Bart Michels Mar 18 '15 at 13:47

Resolved

should be made a synonym of the tag , which should be kept.

TLDR: looking at , the vast majority of tagged questions already use it as a synonym for .

Here is the full justification:

• "Constructive mathematics" includes many approaches to studying mathematics without the law of the excluded middle, or without other axioms that constructivists may find doubtful.

• "Intuitionism" most specifically refers to the philosophy of L. E. J. Brouwer. Brouwer's philosophy, besides rejecting excluded middle, had many other specific assumptions about the nature of mathematics and mathematical knowledge that are not universally shared among constructive mathematicians. For example, choice sequences are particular to Brouwer's philosophy.

Some mathematicians use "intuitionism" as a synonym for "constructive mathematics". For example, when people say "intuitionistic logic", they typically do not mean anything related to Brouwer, but just any logic without the law of the excluded middle. Others are more careful to only use "intuitionism" to refer to Brouwer's position, and use "constructive mathematics" to refer to the more general program.

On this site, looking at , it is already used in nearly every case as a synonym of , with no relationship to Brouwer's work. Having just one tag for these questions would make them easier to follow. But, if we want to pick just one, is better for the reasons I outlined.

The tag wiki for is about Brouwer's program, but it isn't surprising that people don't read that before using the tag.

Resolved

Rename to .

Reason: the name is misleading and may be confused with . In order to make the distinction clearer it seems better to highlight that refers to the operation of completing the square, so why not rename the tag as such?

• We don't need perfect-squares IMO. But the renaming seems apt. – Lord_Farin Feb 11 '15 at 23:19

I see that and are both synonyms for . I think that these should be synonyms of , instead.

What is the scope of ? Can someone write a tag wiki or at least an excerpt?

Or should we just remove it?

Resolved (tag burninated)

Burninate

The tag is being used for questions about a proof by contradiction. That does not give much information as many proofs are. See also this discussion.

Can we have a tag? Or maybe: ,

The tag is intended for questions about formal logic, for instance propositional logic, first-order logic, proof theory, model theory, etc. However, we get questions which are really about a basic or elementary understanding of logic. For example:

• Why do people lose at chess? is tagged logic presumably because it would be appropriate to tag it as about logical reasoning, but it has nothing to do with formal logic.

• If the sum of four dice was 21, how many dice show 2? was closed for poor quality, but if it were open, it's hard to tag it appropriately. Currently it's tagged and , neither of which seem very appropriate. Really the question is most accurately described as an elementary logic puzzle, i.e. it is about basic logical deduction and logical reasoning.

I've looked through some things tagged and it seems for the most part it's being used in an acceptable manner. But it would be nice to have a tag for basic logical reasoning and logic puzzles.

(Some more examples that might benefit from this tag: 1, 2, 3.)

• (logical-reasoning) sounds good to me (and IMHO the suggestion makes a lot of sense) – Grigory M Jan 8 '15 at 23:08
• What mathematical questions (i.e. not reference requests or big lists) are not about logical reasoning? (As for the relative cleanliness of the logic tag, you're welcome. :-)) – Asaf Karagila Jan 15 '15 at 19:00
• @Asaf The idea of this name is that it's for questions that just about logical-reasoning — and to me this logic looks quite similar to names like number-theory or set-theory (which are obviously not just for any questions that ask to find some number or include some sets :-) – Grigory M Jan 15 '15 at 20:52
• @Grigory: I still don't think it's a good fit. Either the question is about something mathematically viable (e.g. a puzzle, a game-theoretic notion, probability, etc.) or it's not a good fit for the site. – Asaf Karagila Jan 15 '15 at 21:02
• Well, I don't really insist on this particular name — but it seems that there is a need for a tag about, well, logical reasoning (including 'logical problems' in the sense of... I don't know Smullyans book — tagging them formal logic «including model theory, proof theory, computability theory» seems hardly appropriate). – Grigory M Jan 15 '15 at 21:09
• Oh, and «something mathematically viable .. e.g. a puzzle» — do you really consider (puzzle) to be a good description of an area of mathematics? To me it sounds only slightly better than (question)... (And (logical-reasoning) tries to solve a part of this problem by adding a more descriptive tag to at least some 'puzzles'.) – Grigory M Jan 15 '15 at 21:12
• @Grigory: No, puzzle is rarely a mathematically viable topic; but I don't see how it's any different than a logical seasoning tag. I mean, unless you're question is specifically about some other topic in mathematics, in which case it's clear that logical seasoning is not the topic; then you question is essentially about solving some puzzle using logical seasoning. It's a superset, then, and I don't see the need for adding a sub-tag. It won't cause people not to use [logic] anyway. – Asaf Karagila Jan 16 '15 at 19:27

Resolved (synonyms approved)

Could it be possible to make a synonym of ? It's the third time in two days that I've had to correct the tags on questions: [1], [2], [3]. Given the tag excerpt/wiki of and the fact that is a synonym of it this seems reasonable.

• Maybe even (convexity) too to cover all bases. – Najib Idrissi Jan 26 '15 at 9:17
• I have suggested those two synonyms, so other users (with sufficient score in that tag) can vote on them. – Martin Sleziak Jan 26 '15 at 15:46
• I don't know if there is a huge overlap between the people who can vote for this synonym and the people who care about cleaning up tags... – Najib Idrissi Feb 2 '15 at 9:11

is a synonym of whereas is not. I suggest to

• If it's merged, I vote for expected-value as the master, since that is somewhat less fuzzy. expectation hints toward "What result are you expecting from simulating X?" and sounds more subjective towards that end. – AlexR Mar 10 '15 at 18:37
• Now there is a separate question about this problem: Expectation means average? – Martin Sleziak May 27 '18 at 19:31

Suggestion: Burninate and blacklist .

I'd like us as a community to evaluate the tag . The tag wiki suggests that should be used in somewhat of a differential geometric setting, however much more than half the time it seems like it is used specifically for derivatives. Of course there is a connection here, but the tag is so improperly used it is almost devoid of utility. For differential geometry oriented discussion of differentials, we have ; for derivatives, we have , and for nonstandard analysis type questions, we have . These three cover the different type of question to which "differential" might be attributed so there is no use for .

• An additional problem is that due to the existence of this tag, a user entering "differential geometry" in the tag field automatically gets the question tagged with (differential) and (geometry), not with (differential-geometry). – user147263 Aug 15 '15 at 3:07
• That's a very good point. I wouldn't have thought of that. – Cameron Williams Aug 15 '15 at 3:38
• There's also homological-algebra / homology-cohomology for these kinds of differentials. – Najib Idrissi Aug 15 '15 at 10:17
• Ugh – Alexander Gruber Aug 16 '15 at 20:28
• @AlexanderGruber Oof. That's spectacularly bad. – Cameron Williams Aug 16 '15 at 20:44
• @NormalHuman If I understand your comment correctly, it is only relevant to users below 1k. If a user has privilege to create tags, then the question will be tagged with two tags, whether they exist or not. (See also here.) – Martin Sleziak Aug 17 '15 at 8:46
• @MartinSleziak True. But users below 1K are most often the ones who don't know what they are doing in the tag field. – user147263 Feb 27 '16 at 23:55
• @Sally That's probably true. In addition to that, situation has changed since I made that comment, since now we have warnings about creating new tags. Which means that users who are allowed creating tags will be notify if they put two inexistent tag instead of one existing tag by mistake. – Martin Sleziak Feb 28 '16 at 5:44

I just came across in a new post. This seems like an unimportant tag, just like . Many systems of equations in linear algebra and in ODE and PDE are homogeneous equations! A separate tag for this extremely common (almost implicit) phenomenon is silly in my opinion.

• Seeing this taxonomist badge, the tag was probably created in this question. I have pinged the tag-creator to let them know about this discussion. – Martin Sleziak Mar 14 '15 at 8:35
• I don't think you'll be getting any sort of response from the creator. They haven't been on the network in years. – Cameron Williams Mar 14 '15 at 15:50
• You are right. (And I should have noticed that.) – Martin Sleziak Mar 14 '15 at 21:40
• No worries. It happens. – Cameron Williams Mar 14 '15 at 21:42

Rename to

The name 'searching' is just unclear.

what? Rings? Groups? Modules? Ideals?

• In the meantime a user added tag-wiki to say that it is about finitely generated groups. (But there are many other context in which the phrase finitely generated is used and the tag has been used for some questions which are not about groups.)] – Martin Sleziak Jun 8 '15 at 5:53

I propose creating for limits and colimits in the sense of category theory. (Perhaps it might be useful to create also and and add them as synonyms.)

We have many questions about limits and colimits in tag. Some of them are tagged as limits+category-theory which is, in my opinion, incorrect use of tag. Not so long ago tag has been created, but it was removed almost immediately.

• I like the tag, actually; it's a particular kind of combinatorial object. For instance, we also have tags for young-tableaux, partitions, trees, etc. – 6005 Aug 3 '15 at 16:56