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