Hadwiger's theorem: Difference between revisions
en>Brad7777 added Category:Probability theorems using HotCat |
en>Oemath |
||
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. | |||
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]] |
Revision as of 18:09, 1 September 2013
In mathematics, abstract nonsense, general abstract nonsense, and general nonsense are terms used facetiously by some mathematicians 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 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. Such proofs are sometimes dubbed “abstract nonsense” as a light-hearted way of alerting people to their abstract nature.
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.[1][2]
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"'.[3] The term is often used to describe the application of category theory and its techniques to less abstract domains.[4][5]
The term is believed to have been coined by the mathematician Norman Steenrod,[6][7][8] 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.[2]
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.[1]
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 2nd 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 H2(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 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
- ↑ 1.0 1.1
I had like 17 domains hosted on single account, and never had any special troubles. If you are not happy with the service you will get your money back with in 45 days, that's guaranteed. But the Search Engine utility inside the Hostgator account furnished an instant score for my launched website. Fantastico is unable to install WordPress in a directory which already have any file i.e to install WordPress using Fantastico the destination directory must be empty and it should not have any previous installation files. When you share great information, others will take note. Once your hosting is purchased, you will need to setup your domain name to point to your hosting. Money Back: All accounts of Hostgator come with a 45 day money back guarantee. If you have any queries relating to where by and how to use Hostgator Discount Coupon, you can make contact with us at our site. If you are starting up a website or don't have too much website traffic coming your way, a shared plan is more than enough. Condition you want to take advantage of the worldwide web you prerequisite a HostGator web page, -1 of the most trusted and unfailing web suppliers on the world wide web today. Since, single server is shared by 700 to 800 websites, you cannot expect much speed.
Hostgator tutorials on how to install Wordpress need not be complicated, especially when you will be dealing with a web hosting service that is friendly for novice webmasters and a blogging platform that is as intuitive as riding a bike. After that you can get Hostgator to host your domain and use the wordpress to do the blogging. Once you start site flipping, trust me you will not be able to stop. I cut my webmaster teeth on Control Panel many years ago, but since had left for other hosting companies with more commercial (cough, cough) interfaces. If you don't like it, you can chalk it up to experience and go on. First, find a good starter template design. When I signed up, I did a search for current "HostGator codes" on the web, which enabled me to receive a one-word entry for a discount. Your posts, comments, and pictures will all be imported into your new WordPress blog. - ↑ 2.0 2.1 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."
- ↑ 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"!"
- ↑ An Application of Abstract Nonsense to Surface Area, Harriet Lord
- ↑ Abstract Nonsense for Functional Programmers, Edsko de Vries
- ↑ 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"
- ↑ 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."
- ↑ Serge Lang, "Algebra" Second Edition, Addison Wesley, 1984, p 175
External links
Property Brokers and Team Managers – Looking for good Actual Estate Agency to join or contemplating which is the Finest Property Agency to join in Singapore? Join Leon Low in OrangeTee Singapore! In OrangeTee, we've much more attractive commission structure than before, enrichment courses, 10 most vital components to hitch OrangeTee and 1 motive to join Leon Low and his Workforce. 1. Conducive working environment
Via PropNex International, we continually construct on our fame in the international property enviornment. Click here for more of our abroad initiatives. Instances have modified. We don't see those unlawful hawkers anymore. Instead, nicely dressed property brokers were seen reaching out to people visiting the market in the morning. Real estate can be a lonely enterprise and it is straightforward to really feel demoralised, especially when there are no enquiries despite your greatest effort in advertising your shopper's property. That is the place having the fitting assist from fellow associates is essential. Our firm offers administration services for condominiums and apartments. With a crew of qualified folks, we assist to make your estate a nicer place to stay in. HDB Flat for Hire 2 Rooms
Achievers are all the time the first to check new technologies & providers that can help them enhance their sales. When property guru first began, many brokers didn't consider in it until they began listening to other colleagues getting unbelievable outcomes. Most brokers needs to see proof first, before they dare to take the first step in attempting. These are often the late comers or late adopters. There is a purpose why top achievers are heading the wave or heading the best way. Just because they try new properties in singapore issues ahead of others. The rest just observe after!
Firstly, a Fraudulent Misrepresentation is one that is made knowingly by the Representor that it was false or if it was made without belief in its fact or made recklessly without concerning whether or not it is true or false. For instance estate agent A told the potential consumers that the tenure of a landed property they are considering is freehold when it is really one with a ninety nine-yr leasehold! A is responsible of constructing a fraudulent misrepresentation if he is aware of that the tenure is the truth is a ninety nine-yr leasehold instead of it being freehold or he didn't consider that the tenure of the house was freehold or he had made the assertion with out caring whether or not the tenure of the topic property is in fact freehold.
I such as you to be, am a brand new projects specialist. You've got the conception that new tasks personnel should be showflat certain. Should you're eager, let me train you the right way to master the entire show flats island vast as a substitute of getting to stay just at 1 place. Is that attainable you may ask, well, I've achieved it in 6 months, you can too. Which company is well-recognized and is actually dedicated for developing rookie within the industry in venture sales market with success? Can a rookie join the company's core group from day one? I wish to propose a third class, which I have been grooming my agents in the direction of, and that is as a Huttons agent, you will be able to market and have knowledge of ALL Huttons projects, and if essential, projects exterior of Huttons as properly.
GPS has assembled a high workforce of personnel who are additionally well-known figures in the native actual property scene to pioneer this up-and-coming organization. At GPS Alliance, WE LEAD THE WAY! Many people have asked me how I managed to earn S$114,000 from my sales job (my third job) at age 24. The reply is easy. After graduation from NUS with a Historical past diploma, my first job was in actual estate. Within the ultimate part of this series, I interview one of the top agents in ERA Horizon Group and share with you the secrets to his success! Learn it RIGHT HERE
Notice that the application must be submitted by the appointed Key Government Officer (KEO) such as the CEO, COO, or MD. Once the KEO has submitted the mandatory paperwork and assuming all documents are in order, an email notification shall be sent stating that the applying is permitted. No hardcopy of the license might be issued. A delicate-copy could be downloaded and printed by logging into the CEA website. It takes roughly four-6 weeks to course of an utility.