homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
n-category = (n,n)-category
n-groupoid = (n,0)-category
Following the patterns of k-morphisms in a category or higher category it makes sense to say -morphism for an object of that category.