In mathematics, abstract nonsense, general abstract nonsense, generalized abstract nonsense, and general nonsense are terms used by mathematicians to describe abstract methods related to category theory and homological algebra. More generally, “abstract nonsense” may refer to a proof that relies on category-theoretic methods, or even to the study of category theory itself.
Background
Roughly speaking, category theory is the study of the general form, that is, categories of mathematical theories, without regard to their content. As a result, mathematical proofs that rely on category-theoretic ideas often seem out-of-context, somewhat akin to a non sequitur. Authors sometimes dub these proofs “abstract nonsense” as a light-hearted way of alerting readers to their abstract nature. Labeling an argument "abstract nonsense" is usually not intended to be derogatory, and is instead used jokingly, in a self-deprecating way, affectionately, or even as a compliment to the generality of the argument. Certain ideas and constructions in mathematics share a uniformity throughout many domains, unified by category theory. Typical methods include the use of classifying spaces and universal properties, use of the Yoneda lemma, natural transformations between functors, and diagram chasing. When an 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. For example, one might say that "By abstract nonsense, products are unique up to isomorphism when they exist", instead of arguing about how these isomorphisms can be derived from the universal property that defines the product. This allows one to skip proof details that can be considered trivial or not providing much insight, focusing instead on genuinely innovative parts of a larger proof.
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"'. The term is often used to describe the application of category theory and its techniques to less abstract domains. The term is believed to have been coined by the mathematicianNorman Steenrod, himself one of the developers of the categorical point of view.
Examples
Consider the example of showing that a 3-manifoldM admits a map to the 2-sphere that is non-trivial, when the 2ndBetti number of M is positive. This means the 2nd cohomology group has positive rank, so it has a non-zero element. The properties of Eilenberg–MacLane spaces then give a corresponding non-trivial map f from M to the infinite-dimensional complex projective spaceCP∞, since it is a K Eilenberg–MacLane space. The space CP∞ can be realized as a CW complex with exactly one cell in each even dimension and no cells in odd dimension, while M can be realized with no cells in dimensions above 3, so by the cellular approximation theorem there is a map homotopic to f that maps M into the 3-skeleton of CP∞, which is 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, as it relies on more general categorical principles. Because of the reliance on these abstract principles, the result is independent of subtler geometric details, so 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 explicit construction of such a map would be potentially laborious.
