Higher category ∞-category A ∞-category is a higher category with no restriction on the degree of morphisms, hence there exist 𝑘-cells for all 𝑘 ∈ℕ0. These can be axiomatized in a number of ways. #state/develop | #lang/en | #SemBr