Talk:Abstract nonsense

From Wikipedia, the free encyclopedia

Find sources: "Abstract nonsense" — news, books, scholar

WikiProject Mathematics     (Rated Start-Class)
Mathematics portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Start Class	Low Priority	Field: General
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. needs refs, try finding some here.--Cronholm144 08:11, 24 May 2007 (UTC)

This article was nominated for deletion on 16 September 2008. The result of the discussion was nomination withdrawn.

This is a wonderful little article. JonathanFeinberg 14:16, 6 October 2006 (UTC)

Contents 1 Origin of the term 2 Hoax? 3 Deletion 4 Merger 5 History and meaning of the term 6 Is 'The Usual Yoga' a synonym? =

[edit] Origin of the term

The first paragraph about the origen of the expression is confusing and even contradictory: was it N. Steenrod or S. Maclane that coined the term? I thought I gave a reference citing Steenrod, but someone else put the statement by Maclane which seems to suggest something else. Whatever it is, we need to straighten this out. --CSTAR (talk) 18:08, 14 December 2007 (UTC)

When Mac Lane writes (in his 1997 retrospective) that the subject was then [i.e., in 1942 or thereabouts] called "general abstract nonsense", he is clearly, almost emphatically, not claiming that he was the originator. This quote establishes, though, that the coinage predates category theory itself as a subject, which codified the abstract and economical form of reasoning already developed and fruitfully applied in homological algebra. I've tried to make this clearer in the article.  --Lambiam 00:30, 15 December 2007 (UTC)

[edit] Hoax?

Is this article a hoax? It does not seem to be since many people have put a lot of time into editing it but I don't recall category theory every being called abstract nonsense.

Topology Expert (talk) 03:40, 28 August 2008 (UTC)

No, it is not a hoax. See e.g. Serge Lang's Algebra, which has an entry for "Abstract nonsense" in its index.[1] — Tobias Bergemann (talk) 06:57, 28 August 2008 (UTC)

Thankyou for the reference. However, just because someone calls a mathematical field 'nonsense' does not mean that it is nonsense. This article is therefore an insult to the field of category theory. Topology Expert (talk) 11:06, 16 September 2008 (UTC)

As the article now says the term is (usually at least, I know of no exception) used non-pejoratively. It is a "self-deprecating", term used "jokingly" and affectionately by practitioners of category theory. Used in this way, It does not mean that category theory is in fact "nonsense", nor is it an insult. Paul August ☎ 15:25, 19 September 2008 (UTC)

Keep in mind we have articles on ethnic slurs on Wikipedia. Whether or not the term or article's existence is insulting to category theory (or more properly, to category theorists) is really irrelevant. --C S (talk) 15:48, 19 September 2008 (UTC)

Well it's irrelevant as far as whether the article should exist or not. But it is relevant to the content of the article. Paul August ☎ 20:36, 20 September 2008 (UTC)

[edit] Deletion

Dear all,

I am not worried about the references to the article; this article is well sourced. However, I do not see any specific point in creating this article and nor do I see its purpose. In my opinion, this article is degrading category theory. If you have any opinions, could you please post them?

Topology Expert (talk) 11:10, 16 September 2008 (UTC)

I think you have got the wrong end of the stick here. The term is not derogatory - instead, it is used in an affectionate and humorous fashion. And I don't agree that every article on Wikipedia has to have a "purpose" or a "point" either. Gandalf61 (talk) 13:21, 16 September 2008 (UTC)

It needs to have a point but it does not necessarily have to be a point reducible to ZFC. Katzmik (talk) 13:23, 16 September 2008 (UTC)

Whether an article has derogatory references is, on Wikipedia, not relevant to whether an article should be deleted; it is to do with whether an article/topic has notable significance—see WP:NOTABLE for more details. Under those criteria, this article should certainly stay (I've had at least five professors refer to category theory as abstract nonsense, and have read the reference in Lang as well). As far as I'm concerned, this article should definitely stay. Xantharius (talk) 01:29, 17 September 2008 (UTC)

[edit] Merger

The article seems to be about this particular whimsical terminology. Per WP:DICDEF, we should not maintain articles purely to document word usage (that is the role of Wiktionary). It seems that we should therefore merge this article into Category theory as this seems to be the substantive topic. Colonel Warden (talk) 16:29, 17 September 2008 (UTC)

It has been mentioned at the deletion page discussion that this particular stable expression transcends category theory. For instance it is used routinely in topology and algebra. I don't think it reduces merely to "word usage" but rather describes a certain type of mathematical argument. Perhaps we can agree to call it metamathematics. Katzmik (talk) 16:33, 17 September 2008 (UTC)

• These sources indicate that the phrase is a synonym or nickname for homological algebra. Perhaps that should be the merge target. That article could use a light introduction. Colonel Warden (talk) 16:49, 17 September 2008 (UTC)

• • Sorry but that's cheating. If I understood your sources correctly, you did a search on a combination of terms "homological algebra" and "abstract nonsense". It is not surprising, therefore, that the outcome of the search combine the two :) Katzmik (talk) 16:54, 17 September 2008 (UTC)

• The point is that the sources say things like That is why homological algebra has the nickname "abstract nonsense". Colonel Warden (talk) 16:57, 17 September 2008 (UTC)

• • You'd get a similar set of results if you search for "category theory" "abstract nonsense". — Carl (CBM · talk) 17:01, 17 September 2008 (UTC)

I have long viewed "abstract nonsense" as simply a playful synonym for category-theoretic methods. Perhaps this is because I'm in a different area of mathematics. As an aside, this article is certainly not "metamathematics" as it is understood by the mathematical logic community. — Carl (CBM · talk) 17:00, 17 September 2008 (UTC)

There is not necessarily a contradiction between these two positions. "abstract nonsense" started out as a nickname for homological algebra, but, as the article itself makes clear, it has been used in a wider sense than its original meaning. As per my comment above, I have to modify my position. While talking to a colleague yesterday I caught myself using the expression "by a general nonsense argument". This is what I had in mind all along. It could be that the two expressions "abstract nonsense" and "general nonsense" are used somewhat differently. Perhaps a redirect page should be created for "general nonsense" as well, so we can see how much traffic it gets at article traffic statistics site. Katzmik (talk) 12:13, 18 September 2008 (UTC)

I think the term is worthy of its own article. Paul August ☎ 16:43, 18 September 2008 (UTC)

[edit] History and meaning of the term

In a post titled: "FOM: affectionate jokes, reply to Simpson" to the FOM mailing list, in reference to the term "abstract nonsense", Colin Mclarty has the following to say:

Friedman brought the same term up in an earlier post, but he noted that it is usually used jokingly by people who like category theory. The story ought to be well known by now.

Norman Steenrod first hung this tag on category theory. He had spent years trying to axiomatize homology, encouraged by Solomon Lefschetz. Lefschetz had also backed the young topologist Sammy Eilenberg, and encouraged Eilenberg's collaboration with the algebraist Mac Lane explicating certain calculations in homology. When Eilenberg and Mac Lane created category theory, Steenrod saw he could use their way of emphasizing morphisms at least as much as objects. He happily said this "abstract nonsense" was the key to solving his problem.

The phrase was popularized by Lang's ALGEBRA, which had an index entry under "abstract nonsense". The page numbers sent you to various one line proofs such as "By abstract nonsense, tensor products are unique up to isomorphism when they exist". The joke got old and survives only vestigially in the latest edition.

Paul August ☎ 16:06, 18 September 2008 (UTC)

I think some of the above, particularly some reference to Lang's influential book ought to be incorporated into the article. Paul August ☎ 16:11, 18 September 2008 (UTC)

See Lang, Algebra, Springer; 3rd edition (June 21, 2005), p. 759, 761 for more background. Paul August ☎ 16:42, 18 September 2008 (UTC)

Done. Katzmik (talk) 06:01, 19 September 2008 (UTC)

I don't think it's asking too much to avoid copyright violations by rephrasing the content. Please do so. --C S (talk) 10:33, 19 September 2008 (UTC)

I've removed the copyvio. As C S says we can't copy text from another source verbatim — any direct quotes we decide to use need to be quoted and cited. If no one else does first, I will try get to this eventually, but I am inconvenienced at the moment by being able to type only with one hand. By the way I think the passages I cited from Lang are more authoritative. Paul August ☎ 13:21, 19 September 2008 (UTC)

[edit] Is 'The Usual Yoga' a synonym? =

Is you search on "the usual yoga" mathematics, you'll find some examples. —Preceding unsigned comment added by 24.130.148.16 (talk) 20:37, 15 March 2009 (UTC)