N-范畴

在数学中，n-范畴是范畴在高阶情形的推广。（小）n-范畴组成的范畴 n-Cat 以下述方式递回定义：

• 0-Cat是集合范畴 ${\displaystyle \mathbf {Set} }$
• (n+1)-范畴是全体在 n-Cat 上浓化的范畴组合的范畴，其张量范畴之结构由合成导出。

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