Editing Abstract nonsense (section)

{{short description|Tongue-in-cheek description of category theory and abstract mathematics}}In [[mathematics]], '''abstract nonsense''', '''general abstract nonsense''', '''generalized abstract nonsense''', and '''general nonsense''' are nonderogatory terms used by [[mathematician]]s to describe long, theoretical parts of a proof they skip over when readers are expected to be familiar with them.<ref name="mathworld" /> These terms are mainly used for 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.