nLab simplicial object in an (infinity,1)-category



(,1)(\infty,1)-Category theory

Internal (,1)(\infty,1)-Categories




For 𝒞\mathcal{C} an (∞,1)-category, a simplicial object in 𝒞\mathcal{C} is an (∞,1)-functor

X:Δ op𝒞 X \colon \Delta^{op} \to \mathcal{C}

from the opposite category of the simplex category into 𝒞\mathcal{C}.

The (,1)(\infty,1)-category of simplicial objects in 𝒞\mathcal{C} and morphisms between them is the (∞,1)-category of (∞,1)-functors

𝒞 Δ op=Func (Δ op,𝒞). \mathcal{C}^{\Delta^{op}} = Func_\infty(\Delta^{op}, \mathcal{C}) \,.

For instance (Lurie, def.


For 𝒞\mathcal{C} a 1-category a simplicial object in 𝒞\mathcal{C} is a simplicial object in the traditional sense of category theory.


A cosimplicial object in 𝒞\mathcal{C} is a simplicial object in the opposite category 𝒞 op\mathcal{C}^{op}.


Powering over simplicial sets

Assume that 𝒞\mathcal{C} has all (∞,1)-limits. The following is a model for the powering of simplicial objects in 𝒞\mathcal{C} by simplicial sets.


Let 𝒞QCatsSet\mathcal{C} \in QCat \hookrightarrow sSet be an (∞,1)-category incarnated as a quasi-category, and let X:Δ op𝒞X \colon \Delta^{op} \to \mathcal{C} be a simplicial object. Then for KsSetK \in sSet any simplicial set, write

X[K]:Δ /K opΔ opX𝒞 X[K] \;\colon\; \Delta_{/K}^{op} \longrightarrow \Delta^{op} \stackrel{X}{\longrightarrow} \mathcal{C}

for the the composite (∞,1)-functor of X X_\bullet with the projection from (the opposite category of) the category of simplices of KK, and write

X(K):lim(Δ /K opΔ opX𝒞) X(K) \;\colon\; \underset{\leftarrow}{\lim} \left( \Delta_{/K}^{op} \longrightarrow \Delta^{op} \stackrel{X}{\longrightarrow} \mathcal{C} \right)

for the (∞,1)-limit over it (if it exists).

This is discussed in (Lurie HTT 4.2.3, notation See also around (Lurie 2, notation 1.1.7).


The inclusion Δ /K ndΔ K\Delta_{/K}^{nd} \hookrightarrow \Delta_{K} of the full subcategory on non-degenerate simplicies is a homotopy cofinal functor (as discussed there). Therefore the (,1)(\infty,1)-limit in def. may equivalently be taken over this category of non-degenerate simplices.


For K=Δ 1 Δ 0Δ 1K = \Delta^1 \coprod_{\Delta^0} \Delta^1 the simplicial set consisting of two consecutive edges, we have for X 𝒞 Δ X_\bullet \in \mathcal{C}^{\Delta^\bullet} that

X(K)X 1×X 0X 1 X(K) \simeq X_1 \underset{X_0}{\times} X_1

is the homotopy fiber product in

X(K) X 1 X 1 1 0 X 0. \array{ && X(K) \\ & \swarrow && \searrow \\ X_1 &&&& X_1 \\ & {}_{\mathllap{\partial_1}}\searrow && \swarrow_{\mathrlap{\partial_0}} \\ && X_0 } \,.

For K=Δ nK = \Delta^n itself an nn-simplex, for some nn \in \mathbb{N} the powering reduces to evaluation on that simplex:

X(Δ n)X n. X(\Delta^n) \simeq X_n \,.

This is because the category of non-degenerate simplices of an nn-simplex has a terminal object (namely that nn-simplex itself), and so its opposite category has an initial object and the (,1)(\infty,1)-limit over a diagram with initial object is given by evaluation at that initial object.


For X 𝒞 Δ opX_\bullet \in \mathcal{C}^{\Delta^{op}} and KKK \to K' the following are equivalent

  1. the induced morphism of cone (,1)(\infty,1)-categoris 𝒞 X[K]𝒞 X[K]\mathcal{C}_{X[K]} \to \mathcal{C}_{X[K']} is an equivalence of (∞,1)-categories;

  2. the induced morphism of (∞,1)-limits X(K)X(K)X(K) \to X(K') is an equivalence.

(The first perspective is used in (Lurie), the second in (Lurie2).)


In one direction: the limit is the terminal object in the cone category, and so is preserved by equivalences of cone categories. (This direction appears as (Lurie, prop. Conversely, the limits is the object representing cones, and hence an equivalence of limits induces an equivalence of cone categories.


Let X:Δ op𝒞X \colon \Delta^{op} \to \mathcal{C} be a simplicial object which is a groupoid object in an (∞,1)-category.

If KKK \to K' is a morphism in sSet which is a weak homotopy equivalence and a bijection on vertices, then the induced morphism on slice-(∞,1)-categories

𝒞 /X[K]𝒞 /X[K] \mathcal{C}_{/X[K]} \to \mathcal{C}_{/X[K']}

is an equivalence of (∞,1)-categories (a weak equivalence in the model structure for quasi-categories).

Equivalently, by remark , we have an equivalence

X(K)X(K). X(K) \to X(K') \,.

This is (Lurie, prop.


If 𝒞=H\mathcal{C} = \mathbf{H} is an (∞,1)-topos then 𝒞 Δ op\mathcal{C}^{\Delta^{op}} is a cohesive (∞,1)-topos over H\mathbf{H}. For more see at cohesive (∞,1)-topos - Examples - Simplicial objects.

Internal language

If 𝒞\mathcal{C} is a locally cartesian closed (∞,1)-category whose internal language is homotopy type theory, then the internal language of 𝒞 Δ op\mathcal{C}^{\Delta^{op}} is that homotopy type theory equipped with the axioms for a linear interval object. (…)

Geometric realization and filtering

The geometric realization |X |{\vert X_\bullet \vert} of a simplicial object X X_\bullet is, if it exists, the (∞,1)-colimit over the corresponding (∞,1)-functor X :Δ op𝒞X_\bullet \;\colon\; \Delta^{op} \to \mathcal{C}.

|X |lim nX n. {\vert X_\bullet \vert} \coloneqq \underset{\longrightarrow}{\lim}_n X_n \,.

Hence the geometric realization of a cosimplicial object Δ op𝒞 op\Delta^{op} \to \mathcal{C}^{op} – called its totalization – is the (∞,1)-limit over Δ𝒞\Delta \to \mathcal{C}.

The geometric realization of the simplicial skeleta of X X_\bullet

|sk 0X ||sk 1X ||sk 2X |. {\vert sk_0 X_\bullet \vert} \to {\vert sk_1 X_\bullet \vert} \to {\vert sk_2 X_\bullet \vert} \to \cdots \,.

constitutes a filtering on the geometric realization of X X_\bullet itself

|X |lim n|sk nX |. {\vert X_\bullet \vert} \simeq \underset{\longrightarrow}{\lim}_n {\vert sk_n X_\bullet \vert} \,.

If 𝒞\mathcal{C} is a stable (∞,1)-category, then the the corresponding spectral sequence of a filtered stable homotopy type is the spectral sequence of a simplicial stable homotopy type.

\infty-Dold-Kan correspondence

The following statement is the infinity-Dold-Kan correspondence.


Let 𝒞\mathcal{C} be a stable (∞,1)-category. Then the (∞,1)-categories of non-negatively graded sequences in CC is equivalent to the (∞,1)-category of simplicial objects in an (∞,1)-category in 𝒞\mathcal{C}

Fun(N( 0),C)Fun(N(Δ) op,C). Fun(N(\mathbb{Z}_{\geq 0}), C) \simeq Fun(N(\Delta)^{op}, C) \,.

Under this equivalence, a simplicial object X X_\bullet is sent to the sequence of geometric realizations ((∞,1)-colimits) of its simplicial skeleta

|sk 0X ||sk 1X ||sk 2X |. {\vert sk_0 X_\bullet \vert} \to {\vert sk_1 X_\bullet \vert} \to {\vert sk_2 X_\bullet \vert} \to \cdots \,.

This constitutes a filtering on the geometric realization of X X_\bullet itself

|X |lim n|sk nX |. {\vert X_\bullet \vert} \simeq \underset{\longrightarrow}{\lim}_n {\vert sk_n X_\bullet \vert} \,.

(Higher Algebra, theorem


Internal category objects


Simplicial objects in general (∞,1)-categories are discussed in

Related discussion is also in

Simplicial obects in stable (∞,1)-categories are discussed in

Last revised on August 19, 2022 at 21:55:47. See the history of this page for a list of all contributions to it.