nLab
(infinity,n)-category

Idea

In higher category theory an $(\mathrm{\infty },n)$-category may be thought of as

• an n-category up to coherent homotopy;

• an (r,n)-category for $r=\mathrm{\infty }$;

• a weak omega-category for which all k-morphisms with $k>n$ are equivalences.

Accordingly, the notion of $(\mathrm{\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 $(\mathrm{\infty },n)$-categories:

1. by iterated (∞,1)-enrichment

   $${\mathrm{Cat}}_{(\mathrm{\infty },n)}\simeq (\cdots (({\mathrm{Cat}}_{(\mathrm{\infty },0)}\mathrm{Cat})\mathrm{Cat})\cdots )\mathrm{Cat}$$Cat_{(\infty,n)} \simeq (\cdots((Cat_{(\infty,0)} Cat) Cat) \cdots) Cat

2. by iterated (∞,1)-internalization

$${\mathrm{Cat}}_{(\mathrm{\infty },n)}\simeq \mathrm{Cat}(\cdots (\mathrm{Cat}({\mathrm{Cat}}_{(\mathrm{\infty },0)}))\cdots ).$$Cat_{(\infty,n)} \simeq Cat(\cdots(Cat(Cat_{(\infty,0)}))\cdots) \,.

There is also a fairly simple axiomatization of the (∞,1)-category ${\mathrm{Cat}}_{(\mathrm{\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 ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ of all $(\mathrm{\infty },n)$-categories, which means that there are many (and many different) very explicit ways to describe them.

A central result of $(\mathrm{\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 $(\mathrm{\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.

Introduction

Here are some introductory words for readers unfamiliar with the general idea. Other readers should skip ahead.

• Introduction for 1-category theorists

• Introduction for homotopy theorists

For 1-category theorists

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 $(\mathrm{\infty },n)$-categories.

Ordinary category theory provides various powerful tools for generating higher order structures, among them notably

1. enrichment

2. internalization.

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

$$(𝒱,\otimes )≔(\mathrm{Cat},\times )$$(\mathcal{V}, \otimes) \coloneqq (Cat, \times)

we may form the category of V-enriched categories $𝒱\mathrm{Cat}≔\mathrm{Cat}\mathrm{Cat}$. A $\mathrm{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

$$\mathrm{Cat}\mathrm{Cat}\simeq \mathrm{Str}2\mathrm{Cat}.$$Cat Cat \simeq Str 2 Cat \,.

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

$$(𝒱,\otimes )≔(\mathrm{Cat}\mathrm{Cat},\times )$$(\mathcal{V}, \otimes) \coloneqq (Cat Cat, \times)

and construct again $𝒱\mathrm{Cat}$, which now is

$$(\mathrm{Cat}\mathrm{Cat})\mathrm{Cat}\simeq \mathrm{Str}3\mathrm{Cat}$$(Cat Cat) Cat \simeq Str 3 Cat

the category of strict 3-categories. It continues this way, and so for every $n\in \mathbb{N}$ the $n$-fold iterated enrichment of $\mathrm{Cat}$ is the category

$$\mathrm{Str}n\mathrm{Cat}\simeq (\cdots ((\mathrm{Cat}\mathrm{Cat})\mathrm{Cat})\cdots )\mathrm{Cat}$$Str n Cat \simeq (\cdots ((Cat Cat)Cat) \cdots) Cat

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 $\mathrm{Str}2\mathrm{Cat}\simeq \mathrm{Cat}\mathrm{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 $\mathrm{Cat}\mathrm{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 $\mathrm{Cat}$, and interpreted this way one does finds that $\mathrm{Cat}\mathrm{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\mathrm{Cat})\mathrm{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

$${\mathrm{Cat}}_{(\mathrm{\infty },n)}:-(\cdots (({\mathrm{Cat}}_{(\mathrm{\infty },1)}{\mathrm{Cat}}_{(\mathrm{\infty },1)}){\mathrm{Cat}}_{(\mathrm{\infty },1)})\cdots ){\mathrm{Cat}}_{(\mathrm{\infty },1)}$$Cat_{(\infty,n)} \coloneq (\cdots ((Cat_{(\infty,1)} Cat_{(\infty,1)})Cat_{(\infty,1)}) \cdots) Cat_{(\infty,1)}

does produce a good general notion of $n$-categories, these are the $(\mathrm{\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 $\mathrm{Cat}$. For $E$ a category with finite limits, write $\mathrm{Cat}(E)$ for the category of $E$-internal categories, and hence $\mathrm{Cat}(\mathrm{Cat})$ for the category of $\mathrm{Cat}$-internal categories.

This gives double categories

$$\mathrm{DoubleCat}\simeq \mathrm{Cat}(\mathrm{Cat})$$DoubleCat \simeq Cat(Cat)

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 $\mathrm{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 $(\mathrm{\infty },n)$-categories by

$${\mathrm{Cat}}_{(\mathrm{\infty },n)}\simeq \mathrm{Cat}(\cdots (\mathrm{Cat}({\mathrm{Cat}}_{(\mathrm{\infty },0)}))\cdots ).$$Cat_{(\infty,n)} \simeq Cat(\cdots(Cat(Cat_{(\infty,0)}))\cdots) \,.

For homotopy theorists

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 $(\mathrm{\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 $(\mathrm{\infty },n)$-category theory is that this generalization from ∞-groupoids (“($\mathrm{\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 $(\mathrm{\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$.

Definitions

There are various different ways of defining $(\mathrm{\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 $(\mathrm{\infty },n)$-categories by generation from strict n-categories:

• Definition via generation from strict n-categories

Among the more direct definitions of $(\mathrm{\infty },n)$-categories one can roughly distinguish two flavors, those that build $(\mathrm{\infty },n)$-categories by enrichment over $(\mathrm{\infty },n-1)$-categories

• Definitions via enrichment

and those that build them by internalization in the collection of $(\mathrm{\infty },n-1)$-categories

• Definitions via internalization.

Via generation by strict $n$-categories

We discuss a characterization of the (∞,1)-category of $(\mathrm{\infty },n)$-categories as an $(\mathrm{\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 $(\mathrm{\infty },n)$-categories by very simple strict n-categories.

Strict $n$-categories

The main definition is def. 8 below, which roughly says that the collection of $(\mathrm{\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.

Definition

Write $\mathrm{Str}n\mathrm{Cat}$ for the 1-category of strict n-categories.

Write

$$\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}\hookrightarrow \mathrm{Str}n\mathrm{Cat}$$Str n Cat_{gaunt} \hookrightarrow Str n Cat

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. 11 below for a characterization intrinsic to $(\mathrm{\infty },n)$-categories.

Example

For $k\le n$ the $k$-globe is gaunt, $G_k\in \mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}\hookrightarrow \in \mathrm{Str}n\mathrm{Cat}$.

Write

$${𝔾}_{\le n}\hookrightarrow \mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}$$\mathbb{G}_{\leq n} \hookrightarrow Str n Cat_{gaunt}

for the full subcategory of the globe category on the $k$-globes for $k\le 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$.

Definition

Write

$${\sigma }_k:\mathrm{Str}(k)\mathrm{Cat}\to \mathrm{Str}(k+1)\mathrm{Cat}$$\sigma_k : Str (k) Cat \to Str (k+1) Cat

for the “categorical suspension” functor which sends a strict $k$-category to the object $\sigma (X)\in \mathrm{Str}(k+1)\mathrm{Cat}\simeq (\mathrm{Str}k\mathrm{Cat})\mathrm{Cat}$ which has precisely two objects $a$ and $b$, has $\sigma (C)(a,a)=\{{\mathrm{id}}_a\}$, $\sigma (C)(b,b)=\{{\mathrm{id}}_b\}$, $\sigma (C)(b,a)=\varnothing$ and

$$\sigma (C)(a,b)=C.$$\sigma(C)(a,b) = C \,.

We usually suppress the subscript $k$ and write ${\sigma }^i={\sigma }_{k+i}\circ \cdots \circ {\sigma }_{k+1}\circ {\sigma }_k$, etc.

Example

The $k$-globe $G_k$ is the $k$-fold suspension of the 0-globe (the point)

$$G_k={\sigma }^k(G_0).$$G_k = \sigma^k(G_0) \,.

The boundary $\partial G_k$ of the $k$-globe is the $k$-fold suspension of the empty category

$$\partial G_k={\sigma }^k(\varnothing ).$$\partial G_k = \sigma^k(\emptyset) \,.

Accordingly, the boundary inclusion $\partial G_k\hookrightarrow G_k$ is the $k$-fold suspension of the initial morphism $\varnothing \to G_0$

$$(\partial G_k\hookrightarrow G_k)={\sigma }^k(\varnothing \to G_0).$$(\partial G_k \hookrightarrow G_k) = \sigma^k(\emptyset \to G_0) \,.

Proposition

The category $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}$ is a locally presentable category and in fact a locally finitely presentable category.

(B-PS, lemma 3.5)

We are going to be interested in a full subcategory $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}\hookrightarrow \mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}$, given below in def. 5, which knows about the higher profunctors/correspondences between $n$-categories.

Observation

For $A,B$ two categories, a profunctor $A^{\mathrm{op}}\times B\to \mathrm{Set}$ is equivalently a category over the 1-globe functor, hence a functor

$$\begin{array}{c}K\\ \downarrow \\ G_1& =\Delta [1]\end{array}$$\array{ K \\ \downarrow \\ G_1 & = \Delta[1] }

equipped with an identification $A\simeq K_0$ and $B\simeq K_1$.

This motivates the following definition.

Definition

A $k$-profunctor / $k$-correspondence of strict $n$-categories is a morphism $K\to G_k$ in $\mathrm{Str}n\mathrm{Cat}$. The category of $k$-correspondences is the slice category $\mathrm{Str}n\mathrm{Cat}/G_k$.

Definition

The categories $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}/G_k$ of $k$-correspondences between gaunt $n$-categories are cartesian closed category.

(B-SP, cor. 5.4)

Remark

By standard facts, in a locally presentable category $𝒞$ with finite limits, a slice $𝒞/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).

Example

Without the restriction that the codomain of $f$ in the above is a globe, the pullback $f^{*}$ in $\mathrm{Str}n\mathrm{Cat}$ will in general fail to preserves colimits. For a simple example of this, consider the pushout diagram in Cat $\hookrightarrow {\mathrm{Cat}}_{(\mathrm{\infty },1)}$ given by

$$\begin{array}{ccc}\Delta [0]& \stackrel{{\delta }_1}{\to }& \Delta [1]\\ {}^{{\delta }_0}\downarrow & & {\downarrow }^{{\delta }_0}\\ \Delta [1]& \stackrel{{\delta }_2}{\to }& \Delta [2]\end{array}.$$\array{ \Delta[0] &\stackrel{\delta_1}{\to}& \Delta[1] \\ {}^{\mathllap{\delta_0}}\downarrow && \downarrow^{\mathrlap{\delta_0}} \\ \Delta[1] &\stackrel{\delta_2}{\to}& \Delta[2] } \,.

Notice that this is indeed also a homotopy pushout/(∞,1)-pushout since, by remark 5, all objects involved are 0-truncated.

Regard this canonically as a pushout diagram in the slice category ${\mathrm{Cat}}_{/\Delta [2]}$ and consider then the pullback ${\delta }_1^{*}:{\mathrm{Cat}}_{/\Delta [1]}\to {\mathrm{Cat}}_{/\Delta [1]}$ along the remaining face ${\delta }_1:\Delta [1]\to \Delta [2]$. This yields the diagram

$$\begin{array}{ccc}\varnothing & \stackrel{}{\to }& \varnothing \\ {}^{}\downarrow & & {\downarrow }^{}\\ \varnothing & \stackrel{}{\to }& \Delta [1]\end{array},$$\array{ \emptyset &\stackrel{}{\to}& \emptyset \\ {}^{}\downarrow && \downarrow^{} \\ \emptyset &\stackrel{}{\to}& \Delta[1] } \,,

which evidently no longer is a pushout.

(See also the discussion here).

The definition of ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ below, def. 8, will take this property to be one of the characteristic properties. Therefore consider

Definition

Write

$$\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}\hookrightarrow \mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}$$Str n Cat_{gen} \hookrightarrow Str n Cat_{gaunt}

for the smallest full subcategory that

1. contains the globe category ${𝔾}_{\le n}$, example 1;
2. is closed under retracts in $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}$;
3. has all fiber products over globes (equivalently: such that all slice categories over globes have products).

(B-SP, def. 5.6)

Example

The following categories are naturally full subcategories of $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{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.

Definition

The following pushouts in $\mathrm{Str}n\mathrm{Cat}$ we call the fundamental pushouts

1. Gluing two $k$-globes along their boundary gives the boundary of the $(k+1)$-globle

   $$G_k\coprod _{\partial C_{k-1}}{G}_k\simeq \partial G_{k+1}$$G_k \coprod_{\partial C_{k-1}} G_k \simeq \partial G_{k+1}

2. Gluing two $k$-globes along an $i$-face gives a pasting composition of the two globles

   $$G_k\coprod _{G_i}{G}_k$$G_k \coprod_{G_i} G_k

3. 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

   $$G_{i+j}{\times }_{G_i}{G}_{i+k}\simeq (G_{i+j}\coprod _{G_i}{G}_{i+k})\coprod _{{\sigma }^{i+1}(G_{j-1}\times G_{k-1})}(G_{i+k}\coprod _{G_i}{G}_{i+j})$$G_{i+j} \times_{G_i} G_{i+k} \simeq (G_{i+j} \coprod_{G_i} G_{i+k}) \coprod_{\sigma^{i+1}(G_{j-1} \times G_{k-1})} (G_{i+k} \coprod_{G_i} G_{i+j})

4. 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

   $${\sigma }^k(\Delta [3])\coprod _{{\sigma }^k\{0,2\}\coprod {\sigma }^k\{1,3\}}(G_k\coprod G_k)\stackrel{\sim }{\to }{G}_k.$$\sigma^k(\Delta[3]) \coprod_{\sigma^k\{0,2\} \coprod \sigma^k\{1,3\}} (G_k\coprod G_k) \stackrel{\sim}{\to} G_k \,.

We say a functor $i$ on $\mathrm{Str}n\mathrm{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.

Generation by strict $n$-categories

Def. 8 considers an $(\mathrm{\infty },1)$-category generated from $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}$ in the following sense

Definition

For $𝒟$ an (∞,1)-category with all small (∞,1)-colimits, say that an (∞,1)-functor

$$f:𝒞\to 𝒟$$f : \mathcal{C} \to \mathcal{D}

strongly generates $𝒟$ if its $(\mathrm{\infty },1)$-Yoneda extension on the (∞,1)-category of (∞,1)-presheaves

$$f:𝒞\stackrel{y}{\hookrightarrow }{\mathrm{PSh}}_{\mathrm{\infty }}(𝒞)\stackrel{{\mathrm{Lan}}_y}{\to }𝒟$$f : \mathcal{C} \stackrel{y}{\hookrightarrow} PSh_\infty(\mathcal{C}) \stackrel{Lan_y}{\to} \mathcal{D}

is the reflector of a reflective sub-(∞,1)-category

$$𝒟\stackrel{\stackrel{{\mathrm{Lan}}_y}{\leftarrow }}{\hookrightarrow }{\mathrm{PSh}}_{\mathrm{\infty }}(𝒞).$$\mathcal{D} \stackrel{\overset{Lan_y}{\leftarrow}}{\hookrightarrow} PSh_\infty(\mathcal{C}) \,.

Remark

By definition, a strongly generated $(\mathrm{\infty },1)$-category is in particular a presentable (∞,1)-category.

Definition

An $(\mathrm{\infty },1)$-category of $(\mathrm{\infty },n)$-categories ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ is an (∞,1)-category equipped with a full and faithful functor

$$i:\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}\hookrightarrow {\tau }_{\le 0}{\mathrm{Cat}}_{(\mathrm{\infty },n)}$$i : Str n Cat_{gen} \hookrightarrow \tau_{\leq 0}Cat_{(\infty,n)}

from the generating strict $n$-categories, def. 5 into its category of 0-truncated objects, such that

1. $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}\to {\tau }_{\le 0}{\mathrm{Cat}}_{(\mathrm{\infty },n)}\hookrightarrow {\mathrm{Cat}}_{(\mathrm{\infty },n)}$ strongly generates $𝒞$;

2. $i$ preserves the fundamental pushout relations;

3. the base change adjoint triple in ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ exists along morphisms with codomain a globe;

and such that $𝒞$ is universal with respect to these properties in that for any other $j:\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}\hookrightarrow 𝒞$ satisfying these three conditions it factors through $i$

$$j:\mathrm{Str}n\mathrm{Cat}\stackrel{i}{\to }{\mathrm{Cat}}_{(\mathrm{\infty },n)}\stackrel{L}{\to }𝒞$$j : Str n Cat \stackrel{i}{\to} Cat_{(\infty,n)} \stackrel{L}{\to} \mathcal{C}

by an (∞,1)-functor $L$ which is the reflector of a reflective inclusion $𝒞\hookrightarrow {\mathrm{Cat}}_{(\mathrm{\infty },n)}$.

(B-SP, def. 6.8)

Remark

By the first axiom, the localization demanded in the universal property is essentially unique. In particular, therefore, ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ is defined uniquely, up to equivalence of (∞,1)-categories. For more on this see prop. 12 below.

Remark

The gaunt $n$-categories, def. 1 are indeed among the 0-truncated objects: since we are looking at just the (∞,1)-category of $(\mathrm{\infty },n)$-categories, instead of more generally the $(\mathrm{\infty },n+1)$-category the non-invertible transfors between $n$-categories are disregarded and so if an object $X\in {\mathrm{Cat}}_{(\mathrm{\infty },n)}$ has no non-trivial invertible cells, then for every other objeyt $Y$, the hom-$\mathrm{\infty }$-groupoid ${\mathrm{Cat}}_{(\mathrm{\infty },n)}(Y,X)$ is 0-truncated, hence is a set.

Remark

The first axiom in particular says that ${\mathrm{Cat}}_{(\mathrm{\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

$$f^{*}:{\mathrm{Cat}}_{(\mathrm{\infty },n)}{/}_{i(G_k)}\to {\mathrm{Cat}}_{(\mathrm{\infty },n)}/X$$f^* : Cat_{(\infty,n)}/_{i(G_k)} \to Cat_{(\infty,n)}/X

along morphisms of the form $X\to i(G_k)$ preserving (∞,1)-colimits.

Universal presentation

By def. 8 ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ is equivalent to a localization of the (∞,1)-category of (∞,1)-presheaves on $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}$. In fact, various subcategories of $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}$ are already sufficient, notable the Theta-category ${\Theta }_n\hookrightarrow \mathrm{Str}n\mathrm{Cat}$ (discussed below in \ref{PresentationByThetaSpaces}). Here we discuss these presentations.

Definition

Let $S_0\subset \mathrm{Mor}({\mathrm{PSh}}_{\mathrm{\infty }}(\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}))$ be the class of morphism generated under fiber product $X{\times }_{G_k}(-)$ with objects $X\in \mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}$ over globes by

1. the morphisms that witness the fundamental pushout relations

2. the initial morphism $\varnothing \to i(\varnothing )$ 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$.

Proposition

The localization of the (∞,1)-category of (∞,1)-presheaves over $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}$, def. 5 at the class of morphism $S$ from def. 9 is a presentation of ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$, def. 8:

$${\mathrm{Cat}}_{(\mathrm{\infty },n)}\simeq {\mathrm{PSh}}_{\mathrm{\infty }}(\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}})[S^{-1}].$$Cat_{(\infty,n)} \simeq PSh_\infty(Str n Cat_{gen})[S^{-1}] \,.

(B-SP, theorem 7.6).

Proof

The three axioms of def. 8 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.

Remark

This construction shows that the fundamental pushout relations encode the composition of k-morphisms in an $(\mathrm{\infty },n)$-category.

Let $X\in {\mathrm{PSh}}_{\mathrm{\infty }}(\mathrm{Str}n\mathrm{Cat})$ be some object.

Firts, by the (∞,1)-Yoneda lemma the value of this (∞,1)-presheaf on a strict $n$-category $C$ is the $\mathrm{\infty }$-groupoid of $(\mathrm{\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

$${\mathrm{Cat}}_{(\mathrm{\infty },n)}(i(G_k)\coprod _{i(G_j)}i(G_k)\to i(G_{\mathrm{jk}}\coprod _{G_j}{G}_k),X)$$Cat_{(\infty,n)}( i(G_k) \coprod_{i(G_j)} i(G_k) \to i(G_jk \coprod_{ G_j } G_k) , X )

are equivalences of $\mathrm{\infty }$-groupoids. So by the (∞,1)-Yoneda lemma this is equivalent to

$$X(G_k){\times }_{X(G_i)}X(G_k)\to {\mathrm{Cat}}_{(\mathrm{\infty },n)}(i(G_{\mathrm{jk}}\coprod _{G_j}{G}_k),X)$$X(G_k) \times_{X(G_i)} X(G_k) \to Cat_{(\infty,n)}(i(G_jk \coprod_{ G_j } G_k), X)

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 ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ are obtained by localizations over subcategories of
$i:\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{restr}}\hookrightarrow \mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}$ at a set of morphisms $T\subset \mathrm{Mor}({\mathrm{PSh}}_{\mathrm{\infty }}(R))$. Write

$${\mathrm{PSh}}_{\mathrm{\infty }}(\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{restr}})\stackrel{\stackrel{i_{!}}{\to }}{\stackrel{\stackrel{i^{*}}{\leftarrow }}{\underset{i_{*}}{\to }}}{\mathrm{PSh}}_{\mathrm{\infty }}(\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}})$$PSh_\infty(Str n Cat_{restr}) \stackrel{\overset{i_!}{\to}}{\stackrel{\overset{i^*}{\leftarrow}}{\underset{i_*}{\to}}} PSh_\infty(Str n Cat_{gen})

for the induced essential geometric morphism.

Proposition

The following conditions are sufficient in order that

$${\mathrm{Cat}}_{(\mathrm{\infty },n)}\simeq {\mathrm{PSh}}_{\mathrm{\infty }}(\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}})[S^{-1}]\stackrel{i^{*}}{\to }{\mathrm{PSh}}_{\mathrm{\infty }}(\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{restr}})[T^{-1}]$$Cat_{(\infty,n)} \simeq PSh_\infty(Str n Cat_{gen})[S^{-1}] \stackrel{i^*}{\to} PSh_\infty(Str n Cat_{restr})[T^{-1}]

is an equivalence of (∞,1)-categories:

1. $i^{*}(S_0)\subset T$

2. $i_{!}(T_0)\subset S$

3. the counit $\mathrm{id}\to i^{*}{i}_{!}$ has components in $T$;

4. the $k$-globe $G_k$ is in the essential image of $i$, for each $0\le k\le n$.

(B-SP, theorem 9.2)

Presentation by ${\Theta }_n$-spaces and $n$-fold complete Segal spaces

We discuss now presentations of ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ over subcategories of $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}$, according to prop. 3.

Proposition

The $n$th Theta category is a full subcategory

$${\Theta }_n\hookrightarrow \mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}$$\Theta_n \hookrightarrow Str n Cat_{gen}

and the localization of ${\mathrm{PSh}}_{\mathrm{\infty }}({\Theta }_n)$ that defines the $(\mathrm{\infty },1)$-category ${\Theta }_n\mathrm{Space}$ of $(\mathrm{\infty },n)$-Theta-spaces satisfies the conditions of prop. 3.

Hence $(\mathrm{\infty },n)$-Theta-spaces are a model for $(\mathrm{\infty },n)$-categories, in the sense of def. 8:

$${\Theta }_n\mathrm{Space}\simeq {\mathrm{Cat}}_{(\mathrm{\infty },n)}.$$\Theta_n Space \simeq Cat_{(\infty,n)} \,.

(B-SP, theorem 11.15)

There is a further restriction from the objects of ${\Theta }_n$ to $n$-fold simplices regarded as grid object, under the canonical embedding

$${\delta }_n:{\Delta }^{\times n}\to {\Delta }^{\wr n}\simeq {\Theta }_n$$\delta_n : \Delta^{\times n} \to \Delta^{\wr n} \simeq \Theta_n

induced by the identification of the $n$thTheta-category (see there) with the $n$-fold categorical wreath product of the simplex category with itself.

Proposition

The inclusion

$${\Delta }^{\times n}\stackrel{{\delta }_n}{\to }{\Theta }_n\hookrightarrow \mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gen}}$$\Delta^{\times n} \stackrel{\delta_n}{\to} \Theta_n \hookrightarrow Str n Cat_{gen}

and the localization of ${\mathrm{PSh}}_{\mathrm{\infty }}({\Delta }^{\times n})$ that defines the $(\mathrm{\infty },1)$-category $\mathrm{CSS}({\Delta }^{\times n})$ of n-fold complete Segal spaces satisfies the conditions of prop. 3.

Hence n-fold complete Segal spaces are a model for $(\mathrm{\infty },n)$-categories, in the sense of def. 8:

$$\mathrm{CSS}({\Delta }^{\times n})\simeq {\mathrm{Cat}}_{(\mathrm{\infty },n)}.$$CSS(\Delta^{\times n}) \simeq Cat_{(\infty,n)} \,.

(B-SP, theorem 12.6)

Remark

Below in Via ∞-Internalization – Presentation by complete Segal spaces is discussed that $n$-fold complete Segal spaces also naturally model an alternative definition of $(\mathrm{\infty },n)$-categories by iterated ∞-internalization. Then prop. 5 serves to show that this is equivalent to def. 8 above.

Via $\mathrm{\infty }$-enrichment

General

There should be a general notion of enriched (∞,1)-category (see there) over a monoidal (∞,1)-category $𝒱$. Write $𝒱\mathrm{Cat}$ for the (∞,1)-category of $𝒱$-enriched $(\mathrm{\infty },1)$-categories.

Definition

For $n\in \mathbb{N}$ write

$${\mathrm{Cat}}_{(\mathrm{\infty },n)}≔(((\mathrm{\infty }\mathrm{Grpd}\mathrm{Cat})\mathrm{Cat})\cdots )\mathrm{Cat}.$$Cat_{(\infty,n)} \coloneqq (((\infty Grpd Cat) Cat) \cdots) Cat \,.

Presentation by Segal $n$-categories

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

(…)

Presentation by enriched model categories

(…)

Via $\mathrm{\infty }$-internalization

General

There is a general notion of internal category in an (∞,1)-category $𝒞$ provided that

1. $𝒞$ has finite (∞,1)-limits – in order to formulate the Segal condition;

2. $𝒞$ is equipped with a “choice of internal ∞-groupoids” – in order to formulate the completeness condition.

We can use this to define ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ by iterative internalization.

Proposition

Write $\mathrm{Grpd}({\mathrm{Cat}}_{(\mathrm{\infty },0)})$ for the catgeory of groupoid objects in an (∞,1)-category in ${\mathrm{Cat}}_{(\mathrm{\infty },0)}\simeq$ ∞Grpd.

Assume we have already defined ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$, either by one of the methods above, or by the induction in the following. Then the canonical inclusion

$$\mathrm{Grpd}({\mathrm{Cat}}_{(\mathrm{\infty },0)})\hookrightarrow {\mathrm{PreCat}}_{\mathrm{Grpd}({\mathrm{Cat}}_{(\mathrm{\infty },0)})}({\mathrm{Cat}}_{(\mathrm{\infty },n)})$$Grpd(Cat_{(\infty,0)}) \hookrightarrow PreCat_{Grpd(Cat_{(\infty,0)})} (Cat_{(\infty,n)})

into the $(\mathrm{\infty },1)$-category of simplicial objects $X_{•}$ in ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ that

1. satisfy the Segal conditions

2. such that $X_0\in {\mathrm{Cat}}_{(\mathrm{\infty },0)}$

has a right adjoint (∞,1)-functor $\mathrm{Core}$.

(Lurie, prop. 1.1.14).

Definition

An $(\mathrm{\infty },n+1)$-category is an object $X\in {\mathrm{PreCat}}_{\mathrm{Grpd}({\mathrm{Cat}}_{(\mathrm{\infty },0)})}$ such that $\mathrm{Core}(X)\in \mathrm{\infty }\mathrm{Grpd}\hookrightarrow \mathrm{Grpd}({\mathrm{Cat}}_{(\mathrm{\infty },0)})$.

For $n\in 𝒩$ the $(\mathrm{\infty },1)$-category of $(\mathrm{\infty },n)$-categories is

$${\mathrm{Cat}}_{(\mathrm{\infty },n)}≔{\mathrm{Cat}}^n(\mathrm{\infty }\mathrm{Grpd})≔\mathrm{Cat}(\cdots \mathrm{Cat}({\mathrm{Cat}}_{(\mathrm{\infty },0)})\cdots ).$$Cat_{(\infty,n)} \coloneqq Cat^n(\infty Grpd) \coloneqq Cat(\cdots Cat(Cat_{(\infty,0)}) \cdots) \,.

(Lurie, prop. 1.1.14).

Proposition

The $(\mathrm{\infty },1)$-category ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ given by def. 12 is equivalent to that given by def. 8.

This is prop. 5 in view of the presentation discussed below.

Presentation by $n$-fold complete Segal spaces

By the discussion here at category object in an (∞,1)-category we have

Proposition

Write ${\mathrm{cSegal}}_0≔{\mathrm{sSet}}_{\mathrm{Quillen}}$ for the standard model structure on simplicial sets. Then recursively for $n\in \mathbb{N}$, $n\ge 1$, there is a model structure on

$${\mathrm{cSegal}}_n≔[{\Delta }^{\mathrm{op}},{\mathrm{cSegal}}_{n-1}]$$cSegal_n \coloneqq [\Delta^{op}, cSegal_{n-1}]

which presents ${\mathrm{Cat}}^n(\mathrm{\infty }\mathrm{Grpd})$.

Proposition

${\mathrm{cSegal}}_n$ is equivalent to the $\mathrm{CSS}({\Delta }^{\times n})$ from prop. 5.

(…)

Properties

Generators

Proposition

The (∞,1)-category ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ is generated under (∞,1)-colimits from the $k$-globes $G_k$ for $k\le n$: every object is the (∞,1)-colimit over a diagram of globes.

(B-SP, cor. 8.4)

Proposition

Equivalences in the (∞,1)-category ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ are detected on globes: a morphism $f:X\to Y$ in ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ is an equivalence precisely if for all globes $G_{k\le n}$ the induced morphism on (∞,1)-categorical hom-spaces

$${\mathrm{Cat}}_{(\mathrm{\infty },n)}(G_k,f):{\mathrm{Cat}}_{(\mathrm{\infty },n)}(Y,f)\to {\mathrm{Cat}}_{(\mathrm{\infty },n)}(X,f)$$Cat_{(\infty,n)}(G_k, f) : Cat_{(\infty,n)}(Y, f) \to Cat_{(\infty,n)}(X, f)

is an equivalence of ∞-groupoids.

(B-SP, cor. 8.5)

Truncated objects

Proposition

The truncated objects in the (∞,1)-category ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ are precisely the gaunt strict n-categories

(B-SP, cor. 8.6)

Remark

That 0-truncated objects in the ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ regarded as an $(\mathrm{\infty },1)$-category are gaunt is effectively the definition of 0-truncation in the absence of non-invertibles transfors. That these gaunt $(\mathrm{\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.

Moduli

Proposition

Let ${\mathrm{Models}}_{(\mathrm{\infty },n)}\hookrightarrow {\widehat{\mathrm{Cat}}}_{(\mathrm{\infty },1)}$ be the core (maximal ∞-groupoid inside) the full sub-(∞,1)-category of (∞,1)Cat on those that satisfy the definition 8.

This is equivalent to

$${\mathrm{Models}}_{(\mathrm{\infty },n)}\simeq B({\mathbb{Z}}_2{)}^n,$$Models_{(\infty,n)} \simeq B (\mathbb{Z}_2)^n,

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 $(\mathrm{\infty },n)$-category.

(B-SP, theorem 8.13)

Remark

This means that

1. the $(\mathrm{\infty },1)$-category ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ from def. 8 is uniquely defined, up to equivalence of (∞,1)-categories;

2. the automorphism ∞-group of ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ in ${\widehat{\mathrm{Cat}}}_{(\mathrm{\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.

Proof

The idea is this:

One first observes that $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}$ from def. 1 has $({\mathbb{Z}}_2{)}^{\times n}$ worth of automorphisms, given by reversing the directions of the k-morphisms.

For this,

1. observe that the identity is the only natural transformation endomorphism on $\mathrm{Id}:\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}\to \mathrm{Str}n{\mathrm{Cat}}_{\mathrm{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)

2. observe that every autoequivalence of $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}$ restricts to one on the globe category ${𝔾}_n$ (B-SP, lemma 4.4).

3. observe that the only autoequivalences of ${𝔾}_n$ are those that reverse the direction of the $k$-morphisms for $1\le k\ne n$, which with the above implies the same for all of $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}$ (B-SP, lemma 4.5).

Now us that, by the above discussion, $\mathrm{Str}n{\mathrm{Cat}}_{\mathrm{gaunt}}$ generates all of ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ under (∞,1)-colimits.

Web of Quillen equivalent model category presentations

We list model category structures that present ${\mathrm{Cat}}_{(\mathrm{\infty },n)}$ and Quillen equivalences between them.

In the following $A$ is an model category presenting ${\mathrm{Cat}}_{(\mathrm{\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{\mathrm{identity}}{\leftrightarrow }$	injective structure for $A$-Segal categories		(Lurie, prop. 2.3.9)
projective structure for $A$-Segal categories	$\stackrel{\mathrm{inclusion}}{\leftarrow }$	$A$-enriched categories		Lurie, theorem 2.2.16
injective structure for $A$-Segal categories	$\stackrel{\mathrm{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)
$⋮$		$⋮$

Examples

Special cases

• ∞-groupoid = $(\mathrm{\infty },0)$-category
• (∞,1)-category
• (∞,2)-category
• etc …

In addition,

• (m,n)-categories can be obtained as particular $(\mathrm{\infty },n)$-categories whose $k$-cells are trivial for $k>m$.
• In particular, n-categories = $(n,n)$-categories can be so obtained.

Specific examples

• One motivating example for $(\mathrm{\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.

Extra structure and properties

We discuss extra structure that an (∞,n)-category can carry and extra properties that it may enjoy.

$𝒪$-Monoidal $(\mathrm{\infty },n)$-categories

• monoidal (∞,1)-category

• symmetric monoidal (∞,n)-category

$(\mathrm{\infty },n)$-Categories with all adjoints

• (∞,n)-category with all adjoints

Related concepts

• 0-category, (0,1)-category

• category

• 2-category

• 3-category

• n-category

• (∞,0)-category

• (∞,1)-category

  • table - models for (∞,1)-categories

• (∞,2)-category

• (∞,n)-category

  • category object in an (∞,1)-category

  • n-category object in an (∞,1)-category

  • n-fold complete Segal space

  • Theta-space, model structure on cellular sets

  • symmetric monoidal (∞,n)-category

• (n,r)-category

• (∞,n)-sheaf, (∞,n)-topos

References

Definition in terms of n-fold complete Segal spaces and Segal n-categories are due to the (unpublished) thesis

• Clark Barwick, $(\mathrm{\infty },n)$-$\mathrm{Cat}$ as a closed model category PhD (2005)

The definition in terms of Theta spaces is due to

• Charles Rezk, A cartesian presentation of weak n-categories (arXiv:0901.3602)

An iterartive definition in terms of n-fold complete Segal spaces is given in

• Jacob Lurie, $(\mathrm{\infty },2)$-Categories and the Goodwillie Calculus I (arXiv:0905.0462)

A summary of definitions and some known comparison results can be found in

• Julie Bergner, Models for $(\mathrm{\infty },n)$-Categories and the Cobordism Hypothesis , in Urs Schreiber, Hisham Sati (eds.) Mathematical Foundations of Quantum Field and Perturbative String Theory, Proceedings of Symposia in Pure Mathematics, volume 83 AMS (2011) (arXiv:1011.0110)

An axiomatic characterization is in

• Clark Barwick, Chris Schommer-Pries, On the Unicity of the Homotopy Theory of Higher Categories (arXiv:1112.0040, slides)

Comparison of models is in

• Julie Bergner, Charles Rezk, Comparison of models for $(\mathrm{\infty },n)$-categories (arXiv:1204.2013)

A model for $(\mathrm{\infty },n)$-categories in terms of (∞,1)-sheaves on variant of a site of $n$-dimensional manifolds with embeddings between them is discussed in

• David Ayala, Nick Rozenblyum, Weak $n$-categories are sheaves on iterated submersions of $\le n$-manifolds (in preparation)

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.