Higher category

(𝑛,𝑟)-category

Let 𝑛 >𝑟. Given a fixed notion of an ∞-category, a (𝑛,𝑟)-category is an ∞-category in which #m/def/ncat

• for 𝑘 >𝑛, all 𝑘-cells are identity
• for 𝑘 >𝑟, all 𝑘-cells are invertible

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