homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The term -category is used more or less synonymously with ∞-category, though the two terms appear with different frequency in different parts of the literature.
Originally, -categories were introduced as
The general concept is that of
Last revised on August 14, 2018 at 22:22:07. See the history of this page for a list of all contributions to it.