Wiki. (n,r)-范畴 [n-r-范畴]

定义

$(n,r)$-范畴是满足如下条件的高阶范畴:

• 其任何 $(n+2)$ 阶态射范畴为单点;
• 其任何 $r$ 阶态射范畴为生象.

注. 不妨要求 $r\leq n+1$, 因为若任何 $(n+2)$ 阶态射范畴为单点, 则任何 $(n+1)$ 阶态射范畴为生象.

例

$(0,1)$-范畴是偏序集.