higher category theory

(0,1)-category theory

1-category theory, (∞,1)-category theory

2-category theory, (∞,2)-category theory

(∞,n)-category theory