$n$-categories for $n \geq 3$ Higher categories mathematics