抽象廢話

在數學中 ， 抽象廢話 ， 泛化抽象廢話和泛化廢話  是一些數學家用於描述範疇論中的某些概念和方法的幽默用語 。 粗略地講 ， 範疇論是研究數學理論的泛化形式 ， 而不考慮其內容的學科 。 因此 ， 一個基於範疇論的證明在那些並不習慣這樣的抽象的人看來就會有些不知所云 ， 甚至看起來像是滑稽的不合邏輯推論 。 有時 ， 這樣的證明就會被稱作 「 抽象廢話 」 以輕巧地提醒人們它們的抽象特性 。 一般而言 ， 「 抽象廢話 」 可以泛指任何使用基本範疇論方法的證明 （ 無論幽默與否 ） ， 或是指對範疇論本身的研究 。 要注意的是將一個論證成爲 「 抽象廢話 」 並不是一種貶損的表達 ， 而往往是對論證的繁複性的一種讚賞 。