homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
n-category = (n,n)-category
n-groupoid = (n,0)-category
The term -category is used more or less synonymous with ∞-category , though the two terms appear with different frequency in different parts of the literature.
Originally, -categories were introduced as
The general concept is that of