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