[[Higher category]]
# $(n,r)$-category

Let $n > r$.
Given a fixed notion of an [[infinity-category]], a **$(n,r)$-category** is an $\infty$-category in which #m/def/ncat

- for $k > n$, all $k$-cells are identity
- for $k > r$, all $k$-cells are invertible


#
---
#state/develop | #lang/en | #SemBr