In higher category theory an $(\infty,n)$-category may be thought of as
an n-category up to coherent homotopy;
an (r,n)-category for $r = \infty$;
a weak omega-category for which all k-morphisms with $k \gt n$ are equivalences.
Accordingly, the notion of $(\infty,n)$-categories is a joint generalization of categories, 2-categories, 3-categories, 4-categories, etc. and of ∞-groupoids / homotopy types and (∞,1)-categories. From the point of homotopy theory they are a generalization to directed homotopy theory, from the point of view of homotopy type theory they are a generalization to directed homotopy type theory.
There are two main recursive definitions of $(\infty,n)$-categories:
by iterated (∞,1)-enrichment
by iterated (∞,1)-internalization
There is also a fairly simple axiomatization of the (∞,1)-category $Cat_{(\infty,n)}$ itself, as something generated by strict n-categories.
Then there is also a plethora of model category structures that present the (∞,1)-category $Cat_{(\infty,n)}$ of all $(\infty,n)$-categories, which means that there are many (and many different) very explicit ways to describe them.
A central result of $(\infty,n)$-category theory is the proof of the cobordism hypothesis, which revolves around the (∞,n)-category of cobordisms. This turns out to be the free symmetric monoidal (∞,n)-category with duals and provides deep relations between algebraic topology, higher algebra and extended topological quantum field theory. Other fundamental examples of $(\infty,n)$-categories, also in this context, are (∞,n)-categories of spans and of (∞,n)-vector spaces.
While the subject is still young, visible at the horizon is its role in higher topos theory. Where (∞,1)-toposes regarded as (∞,1)-categories of (∞,1)-sheaves/∞-stacks are by now fairly well understood, it is clear that the (∞,2)-categories of (∞,2)-sheaves – such as the codomain fibration/self-indexing of an (∞,1)-topos – will form an (∞,2)-topos in generalization of the non-homotopic notion of 2-topos. And so on.
Here are some introductory words for readers unfamiliar with the general idea. Other readers should skip ahead.
This section assumes that the reader is well familiar with category theory and maybe with strict omega-categories but in need of some introductory words on $(\infty,n)$-categories.
Ordinary category theory provides various powerful tools for generating higher order structures, among them notably
Here we are interested in higher order categories, so we consider Cat itself as a 1-categorical context for either of these procedures. Since Cat naturally a cartesian monoidal category
we may form the category of V-enriched categories $\mathcal{V}Cat \coloneqq Cat Cat$. A $Cat$-category consists of
a collection of objects;
for each pair of objects $A$, $B$ a category of morphisms, hence to be thought of as collection of ordinary morphisms $A \to B$ together with morphisms between these morphisms: 2-morphisms;
such that composition is a functor on these hom-categories.
This is the structure of a strict 2-category. We have that
is the category of strict 2-categories.
By general results of enriched category theory (or by immediate inspection), this is still a cartesian monoidal category and so we may iterate this and consider now the enriching category
and construct again $\mathcal{V}Cat$, which now is
the category of strict 3-categories. It continues this way, and so for every $n \in \mathbb{N}$ the $n$-fold iterated enrichment of $Cat$ is the category
of strict n-categories. The inductive limit of this construction finally is the category of strict omega-categories.
While this easily generates higher categorical structures, it does so, as the terminology indicates, only in a very restrictive way: while every 2-category still happens to be equivalent to a strict 2-category, already the general 3-category is no longer equivalent to a strict 3-category, and the discrepancy only increases with $n$.
But inspection in the case of 2-categories already shows what the problem is: in a weak 2-category structural relations such as associativity and unitality no longer hold as equations but only up to an invertible 2-morphism, whereas objects in $Str 2 Cat \simeq Cat Cat$, by definition of enriched category, satisfy these relations strictly – therefore the name.
But this problem directly corresponds to an evident shortcoming of the very starting point of the above recursive construction: that construction regarded Cat as a 1-category in order to fit it into the standard formulation of enriched category theory; however Cat is naturally rather a 2-category itself. The enrichment procedure should be allowed to make use of this extra structure. On the other hand, as we have just seen, the failure of $Cat Cat$ to model all of 2Cat is only in the lack of invertible 2-morphisms. Therefore what should really matter for the improved enrichment is just the (2,1)-category underlying Cat, which is the 2-category consisting of all categories, all functors between them, but only natural isomorphism instead of all natural transformations between those.
This way one does arrive at a suitable refined notion of enrichment over the (2,1)-category $Cat$, and interpreted this way one does finds that $Cat Cat$ then indeed produces all of 2Cat.
However, this only fixed the first step of the above recursive definition. In the next step we want $(2 Cat)Cat$ to produce all 3-categories, but their associativity and unitalness now involves invertible coherence 3-morphisms which do not appear in enriched $(2,1)$-category theory. And so on, as the recursion proceeds.
This shows that the natural starting point for a construction of n-categories by recursive enrichment must be a conception of 1-category theory which knows already about invertible k-morphisms for all $k$. The notion of category where all 1-categorical operations are relaxed up to invertible higher morphisms is that of (∞,1)-category. And this now turns out to be a good starting point for producing $n$-categories by recursive enrichment.
If we then just replace in the above the naive Cat with (∞,1)Cat, then the simple formula
does produce a good general notion of $n$-categories, these are the $(\infty,n)$-categories discussed here.
There is also an alternative road to the same conclusion: another standard procedure for producing higher order structures from the 1-category Cat is to consider internal categories in $Cat$. For $E$ a category with finite limits, write $Cat(E)$ for the category of $E$-internal categories, and hence $Cat(Cat)$ for the category of $Cat$-internal categories.
This gives double categories
and hence again not quite the 2-categories that we are after. But it is of interest to note that now there are two problems, not just the one above: while a $Cat$-internal category again has strict associativity and unitality, instead of the desired version up to an invertible 2-morphism, in another direction it is more general than a strict 2-category: the latter only corresponds to those special double categories for which the “vertical” and the “horizontal” 1-morphisms come from the same 1-category and have sufficiently many degenerate 2-morphisms between them.
The first problem turns out to be solved as before: instead of working with the 1-category Cat we should already regard that as a (2,1)-category and then formulate internal (2,1)-categories in straightforward generalization of the ordinary notion. For the second problem it turns out that one needs to slightly enhance that straightforward generalization and add a condition known (somewhat undescriptively) as completeness. But if this is understood then (as discussed in detail at internal category in an (∞,1)-category) the simple idea of iterated internalization does work out and we obtain $(\infty,n)$-categories by
This section assumes that the reader is well familiar with homotopy theory and maybe with (∞,1)-category theory but in need of some introductory words on $(\infty,n)$-categories.
A fundamental insight of homotopy theory is, of course, that the cellular shape of simplices naturally serves to model paths and higher homotopies in “spaces”, which here really means: in homotopy types/∞-groupoids. In fact, the simplices see a bit more: since $\Delta[n]$ is naturally identified with the linear category $\{0 \to 1 \to 2 \to \cdots \to n\}$ on $(n+1)$-objects, there is a direction on the paths which form the 1-skeleton of a map $\Delta^n \to X$.
If $X$ is a topological space/simplicial set/homotopy type, then this directedness in a way “disappears up to equivalence”, in that for every such directed path there is also the reverse path, which is an inverse up to equivalence.
But it is straightforward to consider a slight generalization of this situation where we take $X$ to be such that not all paths in it have inverses. Still thinking of $X$ as a homotopy type this may be thought of as modelling a directed homotopy type. For $X$ instead modeled as a simplicial set, this has been formalized by the concept of a quasi-category or (∞,1)-category. These are combinatorial models for directed homotopy types in direct generalization of how Kan complexes are combinatorial models for ordinary homotopy types.
As the notation already suggests, the idea of $(\infty,n)$-category theory is that this generalization from ∞-groupoids (“($\infty,0$)-categories”) to (∞,1)-categories is but the first step in a tower of higher generalizations, where in step $n$ one considers “directed homotopy” up to and including dimension $n$.
It is natural that such $(\infty,n)$-categories should be probed by corresponding higher dimensional analogs of the objects in the simplex category, the linear categories $\Delta[n] = \{0 \to 1 \to 2 \to \cdots \to n\}$ that support traditional homotopy theory. There are many such generalizations which one could consider. One which has proven to be useful are the objects in the $n$th Theta-category $\Theta_n$. Where the linear categories as above arise from gluing – pasting – of cellular intervals, the objects of $\Theta_n$ arise from pasting of $n$-dimensional cellular globes (an interval being a 1-dimensional globe).
Accordingly, just as an ∞-groupoid/homotopy type may be presented by a simplicial set, hence a presheaf on the simplex category – or more generally by a simplicial space– satisfying some (Kan filler-)condition that encodes the existence of composites and inverses, so an (∞,n)-category may be presented by a presheaf of spaces on the $n$th Theta-category, similarly subject to some conditions that ensure the existence of composites and inverses – but only of inverses above dimension $n$.
There are various different ways of defining $(\infty,n)$-categories, which are all natural in their own right, and all equivalent to each other.
There is an axiomatic characterization of the (∞,1)-category of $(\infty,n)$-categories by generation from strict n-categories:
Among the more direct definitions of $(\infty,n)$-categories one can roughly distinguish two flavors, those that build $(\infty,n)$-categories by enrichment over $(\infty,n-1)$-categories
and those that build them by internalization in the collection of $(\infty,n-1)$-categories
We discuss a characterization of the (∞,1)-category of $(\infty,n)$-categories as an $(\infty,1)$-category generated by strict n-categories, due to (Barwick, Schommer-Pries).
The blueprint for the following construction is the traditional fact that a category is characterized by the fact that its nerve is a simplicial set which satisfies the Segal conditions, which reflect the existence of composition in a category. Since the simplicial nerve is induced from the linear categories $\Delta[n] = \{0 \to 1 \to 2 \to \cdots \to n\}$ this can be taken as saying that these linear categories generate Cat, subject to the condition that there exists composites.
The following discussion takes this point of view and generalizes it to a similar presentation of $(\infty,n)$-categories by very simple strict n-categories.
The main definition is def. below, which roughly says that the collection of $(\infty,n)$-categories is generated from strict n-categories in a certain sense. Therefore we first need to fix some terminology and notions about strict $n$-categories and about the relevant notion of generation.
Write $Str n Cat$ for the 1-category of strict n-categories.
Write
for the full subcategory on the gaunt $n$-categories, those $n$-categories whose only invertible k-morphisms are the identities.
This subcategory was considered in (Rezk). The term “gaunt” is due to (Barwick, Schommer-Pries). See prop. below for a characterization intrinsic to $(\infty,n)$-categories.
For $k \leq n$ the $k$-globe is gaunt, $G_k \in Str n Cat_{gaunt} \hookrightarrow \in Str n Cat$.
Write
for the full subcategory of the globe category on the $k$-globes for $k \leq n$.
Being a subobject of a gaunt $n$-category, also the boundary of a globe $\partial G_k \hookrightarrow G_k$ is gaunt, i.e. the $(k-1)$-skeleton of $G_k$.
Write
for the “categorical suspension” functor which sends a strict $k$-category to the object $\sigma(X) \in Str (k+1) Cat \simeq (Str k Cat)Cat$ which has precisely two objects $a$ and $b$, has $\sigma(C)(a,a) = \{id_a\}$, $\sigma(C)(b,b) = \{id_b\}$, $\sigma(C)(b,a) = \emptyset$ and
We usually suppress the subscript $k$ and write $\sigma^i = \sigma_{k+i} \circ \cdots \circ \sigma_{k+1} \circ \sigma_k$, etc.
The $k$-globe $G_k$ is the $k$-fold suspension of the 0-globe (the point)
The boundary $\partial G_k$ of the $k$-globe is the $k$-fold suspension of the empty category
Accordingly, the boundary inclusion $\partial G_k \hookrightarrow G_k$ is the $k$-fold suspension of the initial morphism $\emptyset \to G_0$
The category $Str n Cat_{gaunt}$ is a locally presentable category and in fact a locally finitely presentable category.
We are going to be interested in a full subcategory $Str n Cat_{gen} \hookrightarrow Str n Cat_{gaunt}$, given below in def. , which knows about the higher profunctors/correspondences between $n$-categories.
For $A,B$ two categories, a profunctor $A^{op} \times B \to Set$ is equivalently a category over the 1-globe functor, hence a functor
equipped with an identification $A \simeq K_0$ and $B \simeq K_1$.
This motivates the following definition.
A $k$-profunctor / $k$-correspondence of strict $n$-categories is a morphism $K \to G_k$ in $Str n Cat$. The category of $k$-correspondences is the slice category $Str n Cat/ G_k$.
The categories $Str n Cat_{gaunt}/G_k$ of $k$-correspondences between gaunt $n$-categories are cartesian closed category.
By standard facts, in a locally presentable category $\mathcal{C}$ with finite limits, a slice $\mathcal{C}/X$ is cartesian closed precisely if pullback along all morphisms $f : Y \to X$ with codomain $X$ preserves colimits (see at locally cartesian closed category the section Cartesian closure in terms of base change and dependent product).
Without the restriction that the codomain of $f$ in the above is a globe, the pullback $f^*$ in $Str n Cat$ will in general fail to preserves colimits. For a simple example of this, consider the pushout diagram in Cat $\hookrightarrow Cat_{(\infty,1)}$ given by
Notice that this is indeed also a homotopy pushout/(∞,1)-pushout since, by remark , all objects involved are 0-truncated.
Regard this canonically as a pushout diagram in the slice category $Cat_{/\Delta[2]}$ and consider then the pullback $\delta_1^* : Cat_{/\Delta[1]} \to Cat_{/\Delta[1]}$ along the remaining face $\delta_1 : \Delta[1] \to \Delta[2]$. This yields the diagram
which evidently no longer is a pushout.
(See also the discussion here).
The definition of $Cat_{(\infty,n)}$ below, def. , will take this property to be one of the characteristic properties. Therefore consider
Write
for the smallest full subcategory that
The following categories are naturally full subcategories of $Str n Cat_{gen}$
the $n$-fold simplex category $\Delta^{\times n}$;
the $n$th Theta-category.
This is discussed in more detail below in Presentation by Theta-spaces and by n-fold Segal spaces.
The following pushouts in $Str n Cat$ we call the fundamental pushouts
Gluing two $k$-globes along their boundary gives the boundary of the $(k+1)$-globle
Gluing two $k$-globes along an $i$-face gives a pasting composition of the two globles
The fiber product of globes along non-degenerate morphisms $G_{i+j} \to G_i$ and $G_{i+k} \to G_i$ is built from gluing of globes by
The interval groupoid $(a \stackrel{\simeq}{\to} b)$ is obtained by forcing in $\Delta[3]$ the morphisms $(0\to 2)$ and $(1 \to 3)$ to be identities and it is equivalent, as an $n$-category, to the 0-globe
$\Delta[3] \coprod_{\{0,2\} \coprod \{1,3\}} (\Delta[0] \coprod \Delta[0]) \stackrel{\sim}{\to} G_0$
and the analog is true for all suspensions of this relation
We say a functor $i$ on $Str n Cat$ preserves the fundamental pushouts if it preserves the first three classes of pushouts, and if for the last one the morphism $i(\sigma^k(\Delta[3])) \coprod_{i(\sigma^k\{0,2\}) \coprod i(\sigma^k\{1,3\})} (i(G_k \coprod G_k)) \to i(G_k)$ is an equivalence.
Def. considers an $(\infty,1)$-category generated from $Str n Cat_{gen}$ in the following sense
For $\mathcal{D}$ an (∞,1)-category with all small (∞,1)-colimits, say that an (∞,1)-functor
strongly generates $\mathcal{D}$ if its $(\infty,1)$-Yoneda extension on the (∞,1)-category of (∞,1)-presheaves
is the reflector of a reflective sub-(∞,1)-category
By definition, a strongly generated $(\infty,1)$-category is in particular a presentable (∞,1)-category.
An $(\infty,1)$-category of $(\infty,n)$-categories $Cat_{(\infty,n)}$ is an (∞,1)-category equipped with a full and faithful functor
from the generating strict $n$-categories, def. into its category of 0-truncated objects, such that
$Str n Cat_{gen} \to \tau_{\leq 0} Cat_{(\infty,n)} \hookrightarrow Cat_{(\infty,n)}$ strongly generates $\mathcal{C}$;
$i$ preserves the fundamental pushout relations;
the base change adjoint triple in $Cat_{(\infty,n)}$ exists along morphisms with codomain a globe;
and such that $\mathcal{C}$ is universal with respect to these properties in that for any other $j : Str n Cat_{gen} \hookrightarrow \mathcal{C}$ satisfying these three conditions it factors through $i$
by an (∞,1)-functor $L$ which is the reflector of a reflective inclusion $\mathcal{C} \hookrightarrow Cat_{(\infty,n)}$.
By the first axiom, the localization demanded in the universal property is essentially unique. In particular, therefore, $Cat_{(\infty,n)}$ is defined uniquely, up to equivalence of (∞,1)-categories. For more on this see prop. below.
The gaunt $n$-categories, def. are indeed among the 0-truncated objects: since we are looking at just the (∞,1)-category of $(\infty,n)$-categories, instead of more generally the $(\infty,n+1)$-category the non-invertible transfors between $n$-categories are disregarded and so if an object $X \in Cat_{(\infty,n)}$ has no non-trivial invertible cells, then for every other objeyt $Y$, the hom-$\infty$-groupoid $Cat_{(\infty,n)}(Y,X)$ is 0-truncated, hence is a set.
The first axiom in particular says that $Cat_{(\infty,n)}$ is a presentable (∞,1)-category, and hence so are all its slices. In view of this the adjoint (∞,1)-functor theorem says that the third condition is equivalent to (∞,1)-pullbacks
along morphisms of the form $X \to i(G_k)$ preserving (∞,1)-colimits.
By def. $Cat_{(\infty,n)}$ is equivalent to a localization of the (∞,1)-category of (∞,1)-presheaves on $Str n Cat_{gen}$. In fact, various subcategories of $Str n Cat_{gen}$ are already sufficient, notable the Theta-category $\Theta_n \hookrightarrow Str n Cat$ (discussed below in ). Here we discuss these presentations.
Let $S_{0} \subset Mor(PSh_\infty(Str n Cat_{gen}))$ be the class of morphism generated under fiber product $X \times_{G_k} (-)$ with objects $X \in Str n Cat_{gen}$ over globes by
the morphisms that witness the fundamental pushout relations
the initial morphism $\emptyset \to i(\emptyset)$ into presheaf represented by the empty category (which coincides with the initial presheaf on all objects except on the empty category, where it is the singleton).
Write $S$ for the strongly saturated class of morphisms (see reflective sub-(∞,1)-category) generated by $S_0$.
The localization of the (∞,1)-category of (∞,1)-presheaves over $Str n Cat_{gen}$, def. at the class of morphism $S$ from def. is a presentation of $Cat_{(\infty,n)}$, def. :
The three axioms of def. are satisfied effectively by construction of $S$ (…). Conversely, every localization satisfying the second and third axiom must invert the morphisms in $S$, hence must be a sub-localization.
This construction shows that the fundamental pushout relations encode the composition of k-morphisms in an $(\infty,n)$-category.
Let $X \in PSh_\infty(Str n Cat)$ be some object.
First, by the (∞,1)-Yoneda lemma the value of this (∞,1)-presheaf on a strict $n$-category $C$ is the $\infty$-groupoid of $(\infty,n)$-functors $C \to X$, natural equivalences between them, and so on.
And if $X$ is an $S$-local object then it has in particular the property that all the morphisms
are equivalences of $\infty$-groupoids. So by the (∞,1)-Yoneda lemma this is equivalent to
being an equivalence. On the left this is the collection of all those pairs of $k$-globes in $X$ that touch at an $i$-boundary. On the right this is the collection of all k-morphisms in $X$ equipped with a choice of decomposing them into two $k$-morphisms touching at an $i$-boundary. So the statement that this morphism is an equivalence says that composition of $k$-morphisms along $i$-boundaries exists in $X$.
Various other presentations of $Cat_{(\infty,n)}$ are obtained by localizations over subcategories of
$i : Str n Cat_{restr} \hookrightarrow Str n Cat_{gen}$ at a set of morphisms $T \subset Mor(PSh_\infty(R))$. Write
for the induced essential geometric morphism.
The following conditions are sufficient in order that
We discuss now presentations of $Cat_{(\infty,n)}$ over subcategories of $Str n Cat_{gen}$, according to prop. .
The $n$th Theta category is a full subcategory
and the localization of $PSh_\infty(\Theta_n)$ that defines the $(\infty,1)$-category $\Theta_n Space$ of $(\infty,n)$-Theta-spaces satisfies the conditions of prop. .
Hence $(\infty,n)$-Theta-spaces are a model for $(\infty,n)$-categories, in the sense of def. :
There is a further restriction from the objects of $\Theta_n$ to $n$-fold simplices regarded as grid object, under the canonical embedding
induced by the identification of the $n$thTheta-category (see there) with the $n$-fold categorical wreath product of the simplex category with itself.
The inclusion
and the localization of $PSh_\infty(\Delta^{\times n})$ that defines the $(\infty,1)$-category $CSS(\Delta^{\times n})$ of n-fold complete Segal spaces satisfies the conditions of prop. .
Hence n-fold complete Segal spaces are a model for $(\infty,n)$-categories, in the sense of def. :
Below in Via ∞-Internalization – Presentation by complete Segal spaces is discussed that $n$-fold complete Segal spaces also naturally model an alternative definition of $(\infty,n)$-categories by iterated ∞-internalization. Then prop. serves to show that this is equivalent to def. above.
There should be a general notion of enriched (∞,1)-category (see there) over a monoidal (∞,1)-category $\mathcal{V}$. Write $\mathcal{V}Cat$ for the (∞,1)-category of $\mathcal{V}$-enriched $(\infty,1)$-categories.
For $n \in \mathbb{N}$ write
The notion of Segal n-categories is a realization of the idea of weak enrichment in a suitable model category. For nice enough model categories this can be further strictfied to just the notion of enriched model category, discussed below
(…)
(…)
There is a general notion of internal category in an (∞,1)-category $\mathcal{C}$ provided that
$\mathcal{C}$ has finite (∞,1)-limits – in order to formulate the Segal condition;
$\mathcal{C}$ is equipped with a “choice of internal ∞-groupoids” – in order to formulate the completeness condition.
We can use this to define $Cat_{(\infty,n)}$ by iterative internalization.
Write $Grpd(Cat_{(\infty,0)})$ for the catgeory of groupoid objects in an (∞,1)-category in $Cat_{(\infty,0)} \simeq$ ∞Grpd.
Assume we have already defined $Cat_{(\infty,n)}$, either by one of the methods above, or by the induction in the following. Then the canonical inclusion
into the $(\infty,1)$-category of simplicial objects $X_\bullet$ in $Cat_{(\infty,n)}$ that
satisfy the Segal conditions
such that $X_0 \in Cat_{(\infty,0)}$
has a right adjoint (∞,1)-functor $Core$.
An $(\infty,n+1)$-category is an object $X \in PreCat_{Grpd(Cat_{(\infty,0)})}$ such that $Core(X) \in \infty Grpd \hookrightarrow Grpd(Cat_{(\infty,0)})$.
For $n \in \mathcal{N}$ the $(\infty,1)$-category of $(\infty,n)$-categories is
The $(\infty,1)$-category $Cat_{(\infty,n)}$ given by def. is equivalent to that given by def. .
This is prop. in view of the presentation discussed below.
By the discussion here at category object in an (∞,1)-category we have
Write $cSegal_0 \coloneqq sSet_{Quillen}$ for the standard model structure on simplicial sets. Then recursively for $n \in \mathbb{N}$, $n \geq 1$, there is a model structure on
which presents $Cat^n(\infty Grpd)$.
(…)
The (∞,1)-category $Cat_{(\infty,n)}$ is generated under (∞,1)-colimits from the $k$-globes $G_k$ for $k \leq n$: every object is the (∞,1)-colimit over a diagram of globes.
Equivalences in the (∞,1)-category $Cat_{(\infty,n)}$ are detected on globes: a morphism $f : X \to Y$ in $Cat_{(\infty,n)}$ is an equivalence precisely if for all globes $G_{k \leq n}$ the induced morphism on (∞,1)-categorical hom-spaces
is an equivalence of ∞-groupoids.
The truncated objects in the (∞,1)-category $Cat_{(\infty,n)}$ are precisely the gaunt strict n-categories
That 0-truncated objects in the $Cat_{(\infty,n)}$ regarded as an $(\infty,1)$-category are gaunt is effectively the definition of 0-truncation in the absence of non-invertibles transfors. That these gaunt $(\infty,n)$-categories are then necessarily strict reflects the fact that all the weakening, namely all the associators and unitors as well as all there coherences need to be invertible k-morphisms, and hence must be trivial if there are no non-trivial such.
Let $Models_{(\infty,n)} \hookrightarrow \hat Cat_{(\infty,1)}$ be the core (maximal ∞-groupoid inside) the full sub-(∞,1)-category of (∞,1)Cat on those that satisfy the definition .
This is equivalent to
the delooping groupoid of the group $(\mathbb{Z}_2)^n$, the $n$-fold product of the group of order 2 with itself.
The nontrivial element $\sigma \in \mathbb{Z}_2$ in the $k$th slot acts by passing to the $k$-opposite $(\infty,n)$-category.
This means that
the $(\infty,1)$-category $Cat_{(\infty,n)}$ from def. is uniquely defined, up to equivalence of (∞,1)-categories;
the automorphism ∞-group of $Cat_{(\infty,n)}$ in $\hat Cat_{(\infty,1)}$ is $(\mathbb{Z}_2)^n$, hence the only auto-equivalences are given by forming the $n$ analogs of forming an opposite (∞,1)-category.
The idea is this:
One first observes that $Str n Cat_{gaunt}$ from def. has $(\mathbb{Z}_2)^{\times n}$ worth of automorphisms, given by reversing the directions of the k-morphisms.
For this,
observe that the identity is the only natural transformation endomorphism on $Id : Str n Cat_{gaunt} \to Str n Cat_{gaunt}$: this can be checked on globes for which one observes that if a functor $G_n \to G_n$ is the identity on $\partial G_n$, then it is so also on the unique $n$-cell. (B-SP, lemma 4.1)
observe that every autoequivalence of $Str n Cat_{gaunt}$ restricts to one on the globe category $\mathbb{G}_n$ (B-SP, lemma 4.4).
observe that the only autoequivalences of $\mathbb{G}_n$ are those that reverse the direction of the $k$-morphisms for $1 \leq k \neq n$, which with the above implies the same for all of $Str n Cat_{gaunt}$ (B-SP, lemma 4.5).
Now us that, by the above discussion, $Str n Cat_{gaunt}$ generates all of $Cat_{(\infty,n)}$ under (∞,1)-colimits.
We list model category structures that present $Cat_{(\infty,n)}$ and Quillen equivalences between them.
In the following $A$ is an model category presenting $Cat_{(\infty,n-1)}$ that is an “absolute distributor” in the sense discussed at category object in an (∞,1)-category. (That includes most of the model structures in the table, so that one can recurse over these constructions.)
model category | Quillen equivalence | model category | $n$Lab page | literature |
---|---|---|---|---|
projective structure for $A$-Segal categories | $\stackrel{identity}{\leftrightarrow}$ | injective structure for $A$-Segal categories | (Lurie, prop. 2.3.9) | |
projective structure for $A$-Segal categories | $\stackrel{inclusion}{\leftarrow}$ | $A$-enriched categories | Lurie, theorem 2.2.16 | |
injective structure for $A$-Segal categories | $\stackrel{UnPre}{\to}$ | complete Segal space objects in $A$ | Lurie, prop 2.3.1 | |
Theta-(n-1)-space-Segal categories | Theta-(n-1)-space-enriched categories | (Bergner-Rezk, prop. 7.2) | ||
$\vdots$ | $\vdots$ |
In addition,
One motivating example for $(\infty,n)$-categories is the (∞,n)-category of cobordisms which plays a central role in the formalization of the cobordism hypothesis.
Another class of examples are (∞,n)-categories of spans.
We discuss extra structure that an (∞,n)-category can carry and extra properties that it may enjoy.
(∞,n)-category
Definition in terms of n-fold complete Segal spaces and Segal n-categories are due to the (unpublished) thesis
The definition in terms of Theta spaces is due to
An iterartive definition in terms of n-fold complete Segal spaces is given in
A summary of definitions and some known comparison results can be found in
AMS (2011) (arXiv:1011.0110)
A textbook account focusing on n-fold complete Segal spaces and related models is in
One axiomatic characterization is in
Comparison of models ($\Theta_{n+1}$-spaces and enriched (infinity,1)-categories in $\Theta_n$-spaces) is in
Julie Bergner, Charles Rezk, Comparison of models for $(\infty,n)$-categories (arXiv:1204.2013)
Julie Bergner, Charles Rezk, Comparison of models for $(\infty,n)$-categories II (arXiv:1406.4182)
Rune Haugseng, On the equivalence between $\Theta_n$-spaces and iterated Segal spaces, arXiv
Julie Bergner, A survey of models for $(\infty,n)$-categories (arXiv:1810.10052)
A model for $(\infty,n)$-categories in terms of (∞,1)-sheaves on variant of a site of $n$-dimensional manifolds with embeddings between them is discussed in
previewed in
David Ayala, Higher categories are sheaves on manifolds, talk at FRG Conference on Topology and Field Theories, U. Notre Dame (2012) (video)
Abstract Chiral/factorization homology gives a procedure for constructing a topological field theory from the data of an En-algebra. I’ll explain a mulit-object version of this construction which produces a topological field theory from the data of an $n$-category with adjoints. This construction is a consequence of a more primitive result which asserts an equivalence between n-categories with adjoints and “transversality sheaves” on framed $n$-manifolds - of which there is an abundance of examples.
This lends itself to a model of (∞,n)-category with adjoints. See there for more.
The first globular and algebraic models of $(\infty,n)$-categories is in
A model structure using complicial sets is in
Last revised on March 6, 2023 at 05:11:14. See the history of this page for a list of all contributions to it.