范畴化简介

1.什么是范畴化?范畴化(categorification)是将代数对象提升为具有更多结构的对象的过程.原有对象的所有结构都被保留下来,并且可经由忘记这个更高层次新结构的“去范畴化”过程来得到.最初,这个术语表示用范畴论的概念取代基于集合的结构,即用同构取代相等。然而,多年以来,范畴化这一术语被用于各种不同的场合,这使它的精确定义有些模糊不清.