Abstract nonsense is a popular term used by mathematicians to describe certain kinds of arguments and concepts in category theory. This term is believed to have been coined by the mathematician Norman Steenrod, himself one of the developers of the categorical point of view. This term is used by practitioners as an indication of mathematical sophistication or coolness rather than as a derogatory designation.
Certain ideas and constructions in mathematics display a uniformity throughout many domains. The unifying theme is category theory. Rather than enter an elaborate discussion on particulars of arguments, mathematicians will use the expression Such and such is true by abstract nonsense. 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 and so on.
Abstractnonsense is a popular term used by mathematicians to describe certain kinds of arguments and concepts in category theory.
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 and so on.
Other, possibly less flattering, characterizations of abstract reasoning have been recorded, although they have not acquired the status of mathematical jargon.
In mathematics (especially algebraic topology and abstract algebra), homology (in Greek homos = identical) is a certain general procedure to associate a sequence of abelian groups or modules to a given mathematical object (such as a topological space or a group).
Abstract algebra is the field of mathematics concerned with the study of algebraic structures such as groups, rings and fields.
In category theory, an abstract branch of mathematics, the dual of a category C is the category formed by reversing all the morphisms of C. That is, we take Cop to be the category with objects that are those of C, but with the morphisms from X to Y in...