Abstract nonsense

From Wikipedia, the free encyclopedia

This article's introduction section may not adequately summarize its contents. To comply with Wikipedia's lead section guidelines, please consider expanding the lead to provide an accessible overview of the article's key points.

Abstract nonsense, or general abstract nonsense, alternatively general nonsense, is a popular term used by mathematicians to describe certain kinds of arguments and concepts in category theory or applications.

Contents 1 History 2 Examples 3 Notes and references 4 External links

[edit] History

The term predates the foundation of category theory as a subject itself. Referring to a joint paper with Samuel Eilenberg that introduced the notion of a "category" in 1942, Saunders Mac Lane wrote the subject was 'then called "general abstract nonsense"'.^[1] The term is often used to describe the application of category theory and its techniques to less abstract domains.^[2][3]

The term is believed to have been coined by the mathematician Norman Steenrod,^[4][5] himself one of the developers of the categorical point of view. This term is used by practitioners as an indication of mathematical sophistication (or possession of a deeper perspective) rather than as a derogatory designation.^[6]

Certain ideas and constructions in mathematics display a uniformity throughout many domains. The unifying theme is category theory. When their audience can be assumed to be familiar with the general form of such arguments, mathematicians will use the expression Such and such is true by abstract nonsense rather than provide an elaborate explanation of particulars.^[7]

[edit] Examples

Typical instances are arguments involving diagram chasing, application of the definition of universal property, definition of natural transformations between functors, use of the Yoneda lemma, arguments exploiting classifying spaces, and so on.

To spell out a concrete example, consider a 3-manifold M with positive Betti number. One would like to show that M admits a map to the 2-sphere which is "non-trivial", i.e. non-homotopic to the constant map. By a general nonsense argument, there is a map

to the Eilenberg-MacLane space, corresponding to a non-trivial element in H₂(M). Since K(Z,2) is complex projective space and the latter admits a skeleton structure with no cells in odd dimensions, we can apply the cellular approximation theorem to conclude that the map f can be pushed down to the 2-skeleton, which happens to be the 2-sphere. Now surely there are more concrete, "hands-on" constructions of such a map, but the conceptual approach above would probably appeal to the elite.

[edit] Notes and references

1. ^ Saunders Mac Lane. "The PNAS way back then". Proc. Natl. Acad. Sci. USA Vol. 94, pp. 5983–5985, June 1997.

   "The first of these papers is a more striking case; it introduced the very abstract idea of a "category"—a subject then called "general abstract nonsense"!"

2. ^ An Application of Abstract Nonsense to Surface Area, Harriet Lord
3. ^ Abstract Nonsense for Functional Programmers, Edsko de Vries
4. ^ Colin McLarty, The Uses and Abuses of the History of Topos Theory, Brit. J. Phil. Sci, 41 (1990) p 355.

   "Steenrod jokingly tagged category theory 'abstract nonsense' and made it central to his axiomatics for homology"

5. ^ Joseph Rotman, "An Introduction to Homological Algebra, by Charles A. Weibel" (book review), Bull. Amer. Math. Soc., 33:4 (Oct. 1996) 473–476.

   "The self-deprecating phrase general abstract nonsense (due to Steenrod) was promulgated by Eilenberg and Mac Lane, two of the major innovators of homological algebra, to highlight this aspect of the subject."

6. ^ Michael Monastyrsky, Some Trends in Modern Mathematics and the Fields Medal. Can. Math. Soc. Notes, March and April 2001, Volume 33, nos. 2 and 3. Online version available at http://www.fields.utoronto.ca/aboutus/FieldsMedal_Monastyrsky.pdf.

   "In algebra, the term “abstract nonsense” has a definite meaning without any pejorative connotation."

7. ^ Eric W. Weisstein, Abstract Nonsense at MathWorld.

[edit] External links

Look up abstract nonsense in Wiktionary, the free dictionary.

• Usage in mathematical exposition from Noam Elkies' class notes