|
|
| Line 1: |
Line 1: |
| In [[mathematics]], '''abstract nonsense''', '''general abstract nonsense''', and '''general nonsense''' are terms used facetiously by some [[mathematician]]s to describe certain kinds of arguments and methods related to [[category theory]]. (Very) roughly speaking, category theory is the study of the general form of mathematical theories, without regard to their content. As a result, a [[mathematical proof|proof]] that relies on category theoretic ideas often seems slightly out of context to those who are not used to such abstraction, sometimes to the extent that it resembles a comical [[non sequitur (literary device)|non sequitur]]. Such proofs are sometimes dubbed “abstract nonsense” as a light-hearted way of alerting people to their abstract nature.
| | I'm Luisa and I live with my husband and our three children in San Luis Obispo, in the CA south part. My hobbies are Programming, Jewelry making and Shooting sport.<br><br>Feel free to surf to my blog post [http://mavcor.commonmediainc.com/user/12960 Discount Coupon For 4Inkjets.Com] |
| | |
| More generally, “abstract nonsense” may refer to any proof (humorous or not) that uses primarily category theoretic methods, or even to the study of category theory itself. Note that referring to an argument as "abstract nonsense" is ''not'' supposed to be a derogatory expression, and is actually often a compliment regarding the sophistication of the argument.<ref name="mathworld" /><ref name="monastyrsky" />
| |
| | |
| ==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 (mathematics)|category]]" in 1942, [[Saunders Mac Lane]] wrote the subject was 'then called "general abstract nonsense"'.<ref>Saunders Mac Lane. "[http://www.pnas.org/content/94/12/5983.full 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"!''"</ref> The term is often used to describe the application of category theory and its techniques to less abstract domains.<ref>[http://www.csupomona.edu/~jis/1999/lord.pdf An Application of Abstract Nonsense to Surface Area], Harriet Lord</ref><ref>[https://www.cs.tcd.ie/~devriese/talks/cattheory.pdf Abstract Nonsense for Functional Programmers], Edsko de Vries</ref>
| |
| | |
| The term is believed to have been coined by the mathematician [[Norman Steenrod]],<ref>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''" </ref><ref>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.''"</ref><ref> Serge Lang, "Algebra" Second Edition, Addison Wesley, 1984, p 175</ref> 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.<ref name="monastyrsky"> 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.''"</ref>
| |
| | |
| 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.<ref name="mathworld">{{MathWorld| urlname=AbstractNonsense | title=Abstract Nonsense|author=Macura, Wiktor K.}}</ref>
| |
| | |
| ==Examples==
| |
| Typical instances are arguments involving [[diagram chasing]], application of the definition of [[universal property]], definition of [[natural transformation]]s between [[functor]]s, use of the [[Yoneda lemma]], arguments exploiting [[classifying space]]s, and so on.
| |
| | |
| To spell out a concrete example, consider a [[3-manifold]] ''M'' with positive 2nd [[Betti number]]. One would like to show that ''M'' admits a [[map (mathematics)|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
| |
| :<math>f: M\to K(\mathbb{Z},2)</math>
| |
| to the [[Eilenberg-MacLane space]], corresponding to a non-trivial element in H<sup>2</sup>(''M''). Since [[K(Z,2)]] is a complex projective space and the latter admits a skeleton structure with no cells in odd dimensions, we can apply the [[Cellular_approximation|cellular approximation theorem]] to conclude that the map ''f'' can be pushed down to the 2-skeleton, which happens to be the [[2-sphere]].
| |
| | |
| Though this proof establishes the truth of the statement in question, the proof technique has little to do with the [[topology]] or [[geometry]] of the 2-sphere, let alone 3-manifolds. The result is that the proof offers little geometric insight into the nature of such a map. On the other hand, the proof is surprisingly short and clean, and a “hands-on” approach involving the physical construction of such a map would be potentially laborious. A reader expecting a long, difficult proof might be surprised—or even delighted—by this bit of general nonsense.
| |
| | |
| ==Notes and references==
| |
| | |
| <references/>
| |
| | |
| ==External links==
| |
| {{wiktionary|abstract nonsense}}
| |
| * [http://www.math.harvard.edu/~elkies/M55a.05/nonsense.html Usage in mathematical exposition] from [http://www.math.harvard.edu/~elkies/ Noam Elkies' class notes]
| |
| | |
| [[Category:Mathematical terminology]]
| |
| [[Category:Category theory]]
| |
I'm Luisa and I live with my husband and our three children in San Luis Obispo, in the CA south part. My hobbies are Programming, Jewelry making and Shooting sport.
Feel free to surf to my blog post Discount Coupon For 4Inkjets.Com