homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
n-category = (n,n)-category
n-groupoid = (n,0)-category
The notion of Segal -category is a model for (∞,n)-categories via -fold iterated (∞,1)-enrichment. It is the higher analog of the notion of Segal categories,
The model structure for Segal -categories was introduced in
Further developments are in
and in section 2 of