抽象废话 在数学中抽象废话泛化抽象废话和泛化废话英語abstract nonsense general abstract nonsense generalized abstract nonsense and general nonsense是一些数学家用于描述范畴论中的某些概念和方法的幽默用语 粗略地讲范畴论是研究数学理论的泛化形式而不考虑其内容的学科因此一个基于范畴论的证明在那些并不习惯这样的抽象的人看来就会有些不知所云甚至看起来像是滑稽的不合逻辑推论有时这样的证明就会被称作抽象废话以轻巧地提醒人们它们的抽象特性 一般而言抽象废话可以泛指任何使用基本范畴论方法的证明无论幽默与否或是指对范畴论本身的研究要注意的是将一个论证成为抽象废话并不是一种贬损的表达而往往是对论证的繁复性的一种赞赏