homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
Where a quasicategory is a model for the notion of (infinity,1)-category so an -quasicategory is a model for the notion of (infinity,n)-category for all .
A definition in terms of cellular sets had originally been suggested by André Joyal. This has then been made to work in terms of a model structure on cellular sets (see there for more details) in (Ara 12).
A survey is in
Created on October 8, 2013 at 20:35:19. See the history of this page for a list of all contributions to it.