$\infty$ -category

A $\infty$ -category is a higher category with no restriction on the degree of morphisms, hence there exist $𝑘$ -cells for all $𝑘 \in ℕ 0$ . These can be axiomatized in a number of ways.