homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
n-category = (n,n)-category
n-groupoid = (n,0)-category
morphism / 1-morphism
A 1-morphism is a morphism in an n-category. One says 1-morphism for emphasis as a special case of k-morphism.