$n$-categories for $n \geq 3$ Categorical structures mathematics