equivalences in/of -categories
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
n-category = (n,n)-category
n-groupoid = (n,0)-category
The (n+1,1)-category is the collection of all n-groupoids. It is the full sub-(∞,1)-category on the -truncated objects in ∞Grpd.