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

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

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

参见

编辑

文献

编辑