In mathematics, abstract nonsense, general abstract nonsense, generalized abstract nonsense, and general nonsense are nonderogatory terms used by mathematicians to describe long, theoretical parts of a proof they skip over when readers are expected to be familiar with them.

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 mathematician Norman Steenrod, himself one of the developers of the categorical point of view.

Notes and references

  • Usage in mathematical exposition from Noam Elkies' class notes