homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
n-category = (n,n)-category
n-groupoid = (n,0)-category
A strict $n$-category is a strict omega-category all whose k-morphisms for $k \gt n$ are identities.
The category $n Cat$ of strict $n$-categories and n-functors between them can also be defined inductively by
starting by setting $0 Cat :=$ Set;
noticing that Set is canonically a (symmetric, in fact cartesian) closed monoidal category such that one can consider categories enriched over it;
noticing that for $V$ any complete and cocomplete closed monoidal category, also $V Cat$ (the category of $V$-enriched categories) has these same properties;
finally setting, recursively,
The category $Str\omega Cat$ of strict $\omega$-categories can then in turn be defined as a suitable colimit of the categories $n Cat$.
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. \ref{GauntIs0Truncated} 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.
For $A,B$ two categories, a profunctor $A^{op} \times B \to Set$ is equivalently a functor $K \to G_1$ 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 \ref{GauntIs0Truncted}, 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).
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 in (infinity,n)-category in Presentation by Theta-spaces and by n-fold Segal spaces-category#PresentationByThetaSpaces).
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.
A strict 1-category is just a category.
Strict 2-categories are important, because the coherence theorem for bicategories states that every (“weak”) 2-category is equivalent to a strict one, and also because many 2-categories, such as Cat, are naturally strict. However, for $n\ge 3$, these two properties fail, so that strict $n$-categories become less useful (though not useless). Instead, one needs to use (at least) semistrict categories.
With an eye towards the generalization to (∞,n)-categories, strict $n$-categories are discussed in
and in section 2 of