N-范畴

维基百科,自由的百科全书

数学中,n-范畴范畴在高阶情形的推广。(小)n-范畴组成的范畴 n-Cat 以下述方式递回定义:

  • 0-Cat集合范畴
  • (n+1)-范畴是全体在 n-Cat浓化的范畴组合的范畴,其张量范畴之结构由合成导出。

特例是小范畴及其间函子组成的范畴 1-Cat

参见[编辑]

文献[编辑]