homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The term -category broadly refers to higher categories with no bound on the dimension of their -morphisms.
There are two different ways this is understood more in detail:
Historically, a tower of notions of n-categories (0-, 1-, 2-, 3-, 4-categories, …) was continued to a limiting case of “omega-categories”, and sometimes “-categories” is used synonymously in this sense, broadly referring to the most general notion of higher categories. Beware that this general notion is not well developed nor is the equivalence or not of the few existing models, but see for instance the entries weak omega-category, weak complicial set and opetopic omega-categories .
The more fine-grained organization of types of higher categories by bidegree is better understood: (n,r)-categories for , hence -categories, have by now a very well developed theory with ubiquitous applications, and many authors refer to these -categories (aka: quasi-categories) as just “-categories”, for short (some authors even just say “categories” now, for this case, with a homotopy-theoretic background foundation tacitly understood).
In terms of the terminology of -categories, the previous general notion of -categories may be referred to as -categories
See also the references at (∞,1)-category, (∞,n)-category, (n,r)-category.
A versatile approach via enriched category theory and infinity-cosmoi:
On (∞,1)-categories of (∞,∞)-categories
in terms of inductively and coinductively defined equivalences:
and generalization to higher sheaves/stacks of these:
see also
Last revised on March 12, 2024 at 09:35:02. See the history of this page for a list of all contributions to it.