homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
n-category = (n,n)-category
n-groupoid = (n,0)-category
on higher category theory, specifically on the homotopical version of enriched categories in terms of Segal categories and Segal n-categories.