homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The notion of Segal -category is a model for (∞,n)-categories via -fold iterated (∞,1)-enrichment. It is the higher analog of the notion of Segal categories,
The model structure for Segal -categories was introduced in
Further developments are in
and in section 2 of
Last revised on August 12, 2023 at 08:56:52. See the history of this page for a list of all contributions to it.