nLab
n-truncated object of an (infinity,1)-category

Idea

An $n$-truncated ∞-groupoid is an n-groupoid.

An $n$-truncated topological space is a homotopy n-type: all homotopy groups above degree $n$ are trivial.

An $n$-truncated object in a general (∞,1)-category is an object such that all hom-∞-groupoids into it are $n$-truncated.

If an object in an (∞,1)-topos_ is $k$-truncated for any (possibly large) $k$, then it is $n$-truncated precisely if all its categorical homotopy groups above degree $n$ are trivial.

The complementary notion of $n$-truncated object is that of an n-connected object of an (∞,1)-category.

Definition

In terms of truncations

Definition

($n$-truncated $\mathrm{\infty }$-groupoid)

An ∞-groupoid $A\in \mathrm{\infty }\mathrm{Grpd}$ is $n$-truncated for $n\in \mathbb{N}$ if it is an n-groupoid:

Precisely: in the model of ∞-groupoids given by Kan complexes $A$ is $n$-truncated if the simplicial homotopy groups ${\pi }_k(A,x)$ are trivial for all $x$ and all $k>n$.

It makes sense for the following to adopt the convention that $A$ is called

• $(-1)$-truncated if it is empty or contractible – this is a (-1)-groupoid.

• $(-2)$-truncated if it is non-empty and contractible – this is a (-2)-groupoid.

(following HTT, p. 6).

To generalize this, let now $C$ be an arbitrary (∞,1)-category. For $X,A$ objects in $C$ write $C(X,A)\in$ ∞ Grpd for the (∞,1)-categorical hom-space (if $C$ is given as a simplicially enriched category then this is just the SSet-hom-object which is guaranteed to be a Kan complex).

Using this, it shall be useful to slightly reformulate the above as follows:

Observation

An ∞-groupoid $A$ is $n$-truncated precisely for all other ∞-groupoids $X$ the hom-$\mathrm{\infty }$-groupoid $\mathrm{\infty }\mathrm{Grpd}(X,A)$ is $n$-truncated.

In categorical terms this just says that (∞,k)-transformation between $X$ and $A$ whose components a k-morphisms in $A$ cannot be nontrivial for $k>n$ if there are no nontrivial k-morphisms with $k>n$ in $A$.

Using this fact we can transport the notion of $n$-truncation to any (∞,1)-category by testing it on hom-∞-groupoids:

Definition

($n$-truncated object in an $(\mathrm{\infty },1)$-category)

An object $A\in C$ of an (∞,1)-category $C$ is $n$-truncated, for $n\in \mathbb{N}$, if for all $X\in C$ the hom-∞-groupoid $C(X,A)$ is $n$-truncated.

This is HTT, def. 5.5.6.1.

Some terminology:

• A 0-truncated object is also called discrete . Notice that this is categorically discrete as in discrete category, not discrete in the sense of topological spaces. An object in an (∞,1)-topos is discrete in this sense if, regarded as an ∞-groupoid with extra structure it has only trivial morphisms.

• By the above convention on (-2)-truncated $\mathrm{\infty }$-groupoids, it is only the terminal objects of $C$ that are (-2)-truncated.

• Similarly, the (-1)-truncated objects are the subterminal objects.

Definition

($n$-truncated morphism in an $(\mathrm{\infty },1)$-category)

A morphism $f:X\to Y$ of ∞-groupoids is $n$-truncated if all of its homotopy fibers are $n$-truncated by def. 2.

A morphism $f:X\to Y$ in an (∞,1)-category $C$ is $n$-truncated if for all $W\in C$ the postcomposition morphism

$$C(W,f):C(W,X)\to C(W,Y)$$C(W,f) : C(W,X) \to C(W,Y)

is $n$-truncated in ∞Grpd.

By the characterization of homotopy fiber of functor categories this is equivalent to saying that $F$ is $k$-truncated when it is so regarded as an object of the over (∞,1)-category $C_{/Y}$.

In terms of categorical homotopy groups

At least if the ambient (∞,1)-category is even an ∞-stack (∞,1)-topos there is an alternative, more intrinsic, characterization of $n$-truncation in terms of categorical homotopy groups in an (∞,1)-topos:

Proposition

Suppose that an object $X$ in an ∞-stack (∞,1)-topos is $k$-truncated for some $k\in \mathbb{N}$ (possibly very large).

Then for any $n\in \mathbb{N}$ this $X$ is $n$-truncated precisely if all the categorical homotopy groups above degree $n$ are trivial.

Proof

This is HTT, prop 6.5.1.7.

Remark

Notice that this expected statement does require the assumption that $X$ is $k$-truncated for some $k$. Without any a priori truncation assumption on $X$, there is no comparable statement about the relaton to categorical homotopy groups. See HTT, remark 6.5.1.8.

Properties

Recursive definition

Proposition

In an $(\mathrm{\infty },1)$-category $C$ with finite limits, a morphism $f:X\to Y$ is $k$-truncated (for $k\ge -1$) precisely if the diagonal morphism $X\to X{\times }_{Y}X$ is $(k-1)$-truncated.

This is HTT, lemma 5.5.6.15.

Proof

By definition $f$ is $k$-truncated if for each object $d\in C$ we have that $C(d,f)$ is $k$-truncated in ∞Grpd. Since the hom-functors $C(d,-)$ preserve (∞,1)-limits, we have in particular that $X\to X{\times }_{Y}X$ in $C$ is $k$-truncated if $C(d,X)\to C(d,X){\times }_{C(d,Y)}C(d,X)$ is $k$-truncated for all $d$ in ∞Grpd. Therefore it is sufficient to prove the statement for morphisms in $C=$ ∞Grpd.

So let now $f:X\to Y$ be a morphism of ∞-groupoids. We may find a fibration $\overline{\varphi }:\overline{X}\to \overline{Y}$ between Kan complexes in sSet that models $f:X\to Y$ in the standard model structure on simplicial sets, and by the standard rules for homotopy pullbacks it follows that the object $X{\times }_{Y}X$ in $\mathrm{\infty }$-Grpd is then modeled by the ordinary pullback $\overline{X}{\times }_{\overline{Y}}\overline{X}$ in sSet. And the homotopy fibers of $f$ over $y\in Y$ are then given by the ordinary fibers ${\overline{X}}_y$ of $\overline{f}$ in $\mathrm{sSet}$.

This way the statement is reduced to the following fact: a Kan complex ${\overline{X}}_y$ is $k$-truncated precisely if the homotopy fibers of ${\overline{X}}_y\to {\overline{X}}_y\times {\overline{X}}_y$ are $(k-1)$-truncated.

We write now $X$ for ${\overline{X}}_y$, for simplicity. To see the last statement, let $(a,b):*\to X\times X$ and compute the homotopy pullback

$$\begin{array}{ccc}Q& \to & *\\ \downarrow & & {\downarrow }^{(a,b)}\\ X& \to & X\times X\end{array}$$\array{ Q &\to& * \\ \downarrow && \downarrow^{\mathrlap{(a,b)}} \\ X &\to& X \times X }

as usual by replacing the right vertical morphism by the fibration $(X\times X{)}^I{\times }_{X\times X}(a,b)\to X\times X$ and then forming the ordinary pullback. This shows that $Q$ is equivalent to the space of paths $P_{a,b}X$ in $X$ from $a$ to $b$. (Use that gluing of path space objects at endpoints of paths produces a new path space, see for instance section 4 of BrownAHT).

If $X$ is connected, then choosing any path $a\to b$ gives an isomorphism from the the homotopy groups of $P_{a,b}X$ to those of the loop space ${\Omega }_{a}X$. These latter are indeed those of $X$, shifted down in degree by one (as described for instance at fiber sequence).

If $X$ is not connected, we can easily reduce to the case that it is.

General

Proposition

For $C$ an $(\mathrm{\infty },1)$-category and $k\ge -2$, the full sub-(∞,1)-category ${\tau }_{\le k}C$ is stable under all limits in $C$.

This is HTT, prop. 5.5.6.5.

Proposition

Let $H$ be an (∞,1)-topos. For all $(-2)\le n\le \mathrm{\infty }$ the class of $n$-truncated morphisms in $H$ forms the right class in a orthogonal factorization system in an (∞,1)-category. The left class is that of n-connected morphisms in $H$.

This appears as a remark in HTT, Example 5.2.8.16. A construction of the factorization in terms of a model category presentation is in (Rezk, prop. 8.5). See also n-connected/n-truncated factorization system.

Model category presentations

There are model structures for homotopy n-types that presentable (∞,1)-category present the full sub-(∞,1)-categories of $n$-truncated objects in some ambient $(\mathrm{\infty },1)$-category. See there for more details.

Truncation

Definition

Under mild conditions there is for each $n$ a universal way to send an arbitrary object $A$ to its $n$-truncation ${\tau }_{\le n}A$. This is a general version of decategorification where n-morphisms are identified if they are connected by an invertible $(n+1)$-morphism.

For $C$ an (∞,1)-category and $n\ge -2$ in $\mathbb{Z}$ write ${\tau }_{\le n}C$ for the full subcategory of $C$ on its $n$-truncated objects.

So for instance for $C=$ ∞Grpd we have ${\tau }_{\le n}\mathrm{\infty }\mathrm{Grpd}=n\mathrm{Grpd}$.

Proposition

If $C$ is an (∞,1)-category that is presentable then the canonical inclusion (∞,1)-functor

$${\tau }_{\le n}C\hookrightarrow C$$\tau_{\leq n} C \hookrightarrow C

has an accessible left adjoint

$${\tau }_{\le n}:C\to C_{\le n}.$$\tau_{\leq n} : C \to C_{\leq n} \,.

This is HTT 5.5.6.18.

Indeed, as the notation suggests, $C_{\le n}$ is the essential image of $C$ under ${\tau }_{\le n}$. The image ${\tau }_{\le n}A$ of an object $A$ under this operation is the $n$-truncation of $A$.

So $n$-truncated objects form a reflective sub-(∞,1)-category

$${\tau }_{\le n}C\stackrel{\stackrel{{\tau }_{\le n}}{\leftarrow }}{\hookrightarrow }C.$$\tau_{\leq n} C \stackrel{\overset{\tau_{\leq n}}{\leftarrow}}{\hookrightarrow} C \,.

Properties

General

Observation/Corollary

A left exact functor $F:C\to D$ between $(\mathrm{\infty },1)$-categories with finite limits sends $k$-truncated objects/morphisms to $k$-truncated objects/morphisms.

This is HTT, prop. 5.5.6.1.6.

Proof

Follows from the above recursive characterization of $k$-truncated morphisms by the $(k-1)$-truncation of their diagonal, which is preserved by the finite limit preserving $F$.

Proposition

A presentable $(\mathrm{\infty },1)$-functor $F:C\to D$ between locally presentable (∞,1)-categories $C$ and $D$ commutes with truncation:

$$F\circ {\tau }_{\le k}^C\simeq {\tau }_{\le k}^D\circ F.$$F \circ \tau^C_{\leq k} \simeq \tau^D_{\leq k} \circ F \,.

This is HTT, prop. 5.5.6.28.

Proof

By the above lemma, $F$ restricts to a functor on the truncations. So we need to show that the diagram

$$\begin{array}{ccc}C& \stackrel{F}{\to }& D\\ {}^{{\tau }_{\le k}}\downarrow & (?)& {\downarrow }^{{\tau }_{\le k}}\\ {\tau }_{\le k}C& \stackrel{F}{\to }& {\tau }_{\le k}D\end{array}$$\array{ C &\stackrel{F}{\to}& D \\ {}^{\mathllap{\tau_{\leq k}}}\downarrow & (?) & \downarrow^{\mathrlap{\tau_{\leq k}}} \\ \tau_{\leq k } C &\stackrel{F}{\to}& \tau_{\leq k} D }

in (∞,1)Cat can be filled by a 2-cell. To see this, notice that the adjoint (∞,1)-functor of both composite morphisms exists (because that of $F$ exists by the adjoint (∞,1)-functor theorem and bcause adjoints of composites are composites of adjoints) and since the bottom morphism is just the restriction of the top morphism and the right adjoints of the vertical morphisms are full inclusions this adjoint diagram

$$\begin{array}{ccc}C& \stackrel{G}{\leftarrow }& D\\ \uparrow & & \uparrow \\ {\tau }_{\le k}C& \stackrel{G}{\leftarrow }& {\tau }_{\le k}D\end{array}.$$\array{ C &\stackrel{G}{\leftarrow}& D \\ \uparrow & & \uparrow \\ \tau_{\leq k } C &\stackrel{G}{\leftarrow}& \tau_{\leq k} D } \,.

evidently commutes, since it just expresses this restriction.

Proposition

If $C$ is an (∞,1)-topos, then truncation ${\tau }_{\le n}:C\to C$ preserves finite products.

This appears as HTT, lemma 6.5.1.2.

Proof

First notice that the statement is true for $C=$ ∞Grpd. For instance we can use the example In ∞Grpd and Top, model ∞-groupoids by Kan complexes and notice that then ${\tau }_{\le n}$ is given by the truncation functor ${\mathrm{tr}}_{n+1}:\mathrm{sSet}\to [{\Delta }_{\le n+1}^{\mathrm{op}},\mathrm{sSet}]$. This is also a right adjoint and as such preserves in particular product in $\mathrm{sSet}$, which are $(\mathrm{\infty },1)$-products in $\mathrm{\infty }\mathrm{Grpd}$.

From that we deduce that the statement is true for $C$ any (∞,1)-category of (∞,1)-presheaves $C={\mathrm{PSh}}_{(\mathrm{\infty },1)}(K)={\mathrm{Func}}_{(\mathrm{\infty },1)}(K^{\mathrm{op}},\mathrm{\infty }\mathrm{Grpd})$ because all relevant operations there are objectwise those in $\mathrm{\infty }\mathrm{Grpd}$.

So far this shows even that on presheaf $(\mathrm{\infty },1)$-toposes all products (not necessarily finite) are preserved by truncation.

A general (∞,1)-topos $C$ is (by definition) a left exact reflective sub-(∞,1)-category of a presheaf $(\mathrm{\infty },1)$-topos,

$$C\stackrel{\stackrel{L}{\leftarrow }}{\underset{i}{\hookrightarrow }}{\mathrm{PSh}}_{(\mathrm{\infty },1)}(K).$$C \stackrel{\overset{L}{\leftarrow}}{\underset{i}{\hookrightarrow}} PSh_{(\infty,1)}(K) \,.

Let ${\prod }_{j}i(X_j)$ be the product of the objects in question taken in $\mathrm{PSh}(K)$. By the above there we have an equivalence

$${\tau }_{\le k}\prod _{j}i(X_j)\stackrel{\simeq }{\to }\prod _j{\tau }_{\le }i(X_j).$$\tau_{\leq k} \prod_j i(X_j) \stackrel{\simeq}{\to} \prod_j \tau_{\leq} i(X_j) \,.

Now applying $L$ to this equivalence and using now that $L$ preserves the finite product, this gives an equivalence

$$L{\tau }_{\le k}\prod _{j}i(X_j)\stackrel{\simeq }{\to }L\prod _j{\tau }_{\le }i(X_j)\simeq \prod _{j}L{\tau }_{\le }i(X_j)$$L \tau_{\leq k} \prod_j i(X_j) \stackrel{\simeq}{\to} L \prod_j \tau_{\leq} i(X_j) \simeq \prod_j L \tau_{\leq} i(X_j)

in $C$. The claim follows now with the above result that $L\circ {\tau }_{\le n}\simeq {\tau }_{\le n}\circ L$.

Postnikov tower

By the fact that the truncation functor ${\tau }_{\le n}$ is a left adjoint one obtains canonical morphisms

$${\tau }_{\le n}A\to A$$\tau_{\leq n}A \to A

as the adjunct of the identity on $A$, and then by iteration also canonical morphisms

$${\tau }_{\le (n+1)}A\to {\tau }_{\le n}A.$$\tau_{\leq (n+1)} A \to \tau_{\leq n} A \,.

For any $A\in C$ the sequence

$$\cdots \to {\tau }_{\le 2}A\to {\tau }_{\le 1}A\to {\tau }_{\le 0}A$$\cdots \to \tau_{\leq 2}A \to \tau_{\leq 1} A \to \tau_{\leq 0} A

is the Postnikov tower in an (∞,1)-category of $A$. See there for more details.

Homotopy type theory syntax

Discussion of $n$-truncation of types in homotopy type theory via higher inductive types is in (Brunerie). This sends a type to an h-level $(n+2)$-type.

The $(-1)$-truncation in the context is forming the bracket type hProp.

Relation to homotopy groups

In an $(\mathrm{\infty },1)$-topos $C$ there is a notion of categorical homotopy groups in an (∞,1)-topos. For the $(\mathrm{\infty },1)$-topos ∞Grpd given by the model of Kan complexes this coincides with the notion of simplicial homotopy groups:

Observation

An object $A$ in the (∞,1)-topos ∞Grpd is $n$-truncated precisely if its categorical homotopy groups ${\pi }_k(A)$ vanish for all $k>n$.

This simple relation between $n$-truncation and categorical homotopy groups is almost, but not exactly true in an arbitrary (∞,1)-topos.

Proposition

Let $H$ be an (∞,1)-topos and $A\in H$ an $n$-truncated object.

Then

1. for $k>n$ we have for the categorical homotopy groups ${\pi }_k(A)=*$;

2. if (for $n\ge 0$) ${\pi }_n(A)=*$, then $X$ is in fact $(n-1)$-truncated.

This implies

Corollary

If $A\in H$ is truncated at all (for any value), then it is $n$-truncated precisely if all categorical homotopy groups vanish ${\pi }_k(A)=*$ for $k>n$.

Notice. If $A$ on the other hand is not truncated at all, then all its homotopy groups may be trivial and $A$ may still not be equivalent to the terminal object. This means that Whitehead's theorem may fail in a general (∞,1)-topos for untruncated objects. It holds, however, in hypercomplete (∞,1)-toposes.

Examples

Truncated morphisms

General

A morphism $f:X\to 0$ is

• (-2)-truncated precisely if it is an equivalence;

• (-1)-truncated precisely if it is a monomorphism.

Between groupoids

For morphisms between 1-groupoids, the notion of $n$-truncation for low $n$ reproduces standard concepts from ordinary category theory.

Proposition

A functor $f:X\to Y$ between groupoids, is $n$-truncated precisely when regarded as a morphism in ∞Grpd it is

• for $n=-2$ – an equivalence of categories;

• for $n=-1$ – a full and faithful functor;

• for $n=0$ – a faithful functor.

Proof

Notice that $f$ being faithful means precisely that it induces a monomorphism on the first homotopy groups.

For $x:*\to X$ any point and $F_{f(x)}$ the corresponding homotopy fiber of $f$, the long exact sequence of homotopy groups gives that ${\pi }_1(F)$ is the kernel of an injective map

$$\cdots \to {\pi }_1(F)\to {\pi }_1(X)\hookrightarrow {\pi }_1(Y,f(x))\to \cdots ,$$\cdots \to \pi_1(F) \to \pi_1(X) \hookrightarrow \pi_1(Y,f(x)) \to \cdots \,,

hence ${\pi }_1(F_y)=*$ for all points $y$ in the essential image of $f$. For $y$ not in the essential image we have $F_y\simeq \varnothing$. In either case it follows that $F$ is 0-truncated.

By def. 3 this is the defining condition for $f$ to be 0-truncated.

Between stacks

Let $C$ be a site and write ${\mathrm{Sh}}_{(2,1)}(C)\hookrightarrow {\mathrm{Sh}}_{(\mathrm{\infty },1)}(C)$ for the (2,1)-topos of stacks/(2,1)-sheaves inside the (∞,1)-sheaf (∞,1)-topos of all ∞-stacks/(∞,1)-sheaves.

Write $L_W[C^{\mathrm{op}},\mathrm{Grpd}]$ for the simplicial localization of groupoid valued presheaves in $C$ and write $[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$ for the local projective model structure on simplicial presheaves that presents ${\mathrm{Sh}}_{(\mathrm{\infty },1)}(C)$.

Proposition

Let $f:X\to Y$ be a morphism of stacks which has a presentation by a degreewise faithful functor that, under the nerve, goes between fibrant simplicial presheaves.

Then $f$ is 0-truncated as a morphism in ${\mathrm{Sh}}_{(\mathrm{\infty },1)}(C)$.

Proof

We need to check that for any $\mathrm{\infty }$-stack $A$ the morphism ${\mathrm{Sh}}_{\mathrm{\infty }}(A,f)$ is 0-truncated in ∞Grpd. We may choose a cofibrant model for $A$ in $[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$ and by assumption that $X$ and $Y$ is fibrant we have that the ordinary hom of simplicial presheaves $[C^{\mathrm{op}},\mathrm{sSet}](A,f)$ is the correct derived hom space morphism. This is itself (the nerve of) a faithful functor, hence the statement follows with prop. 9.

In $\mathrm{\infty }\mathrm{Grpd}$ and in $\mathrm{Top}$

An object in ∞Grpd is $n$-truncated precisely if it is an n-groupoid. To some extent this is so by definition. Equivalently, an object in Top is $n$-truncated if it is (in the equivalence class of) a homotopy n-type.

So we have for $n\in \mathbb{N}$ a reflective sub-(∞,1)-category

$$n\mathrm{Grpd}\stackrel{\stackrel{{\tau }_{\le n}}{\leftarrow }}{\hookrightarrow }\mathrm{\infty }\mathrm{Grpd}.$$n Grpd \stackrel{\overset{\tau_{\leq n}}{\leftarrow}}{\hookrightarrow} \infty Grpd \,.

Observation

If we model the (∞,1)-category ∞Grpd as the Kan complex-enriched category/fibrant simplicial category $\mathrm{KanCplx}\subset$ sSet of Kan complexes, then the truncation adjunction

$$({\tau }_{\le n}⊣i):n\mathrm{Grpd}\stackrel{\stackrel{{\tau }_{\le n}}{\leftarrow }}{\hookrightarrow }\mathrm{\infty }\mathrm{Grpd}.$$(\tau_{\leq n } \dashv i) : n Grpd \stackrel{\overset{\tau_{\leq n}}{\leftarrow}}{\hookrightarrow} \infty Grpd \,.

is modeled by the simplicial coskeleton sSet-enriched adjunction

$$({\mathrm{tr}}_{n+1}⊣{\mathrm{cosk}}_{n+1}):{\mathrm{KanCplx}}_{n+1}\stackrel{\stackrel{{\mathrm{tr}}_{n+1}}{\leftarrow }}{\underset{{\mathrm{cosk}}_{n+1}}{\to }}\mathrm{KanCplx},$$(tr_{n+1} \dashv cosk_{n+1}) : KanCplx_{n+1} \stackrel{\overset{tr_{n+1}}{\leftarrow}}{\underset{cosk_{n+1}}{\to}} KanCplx \,,

where ${\mathrm{KanCplx}}_{n+1}$ is the subcategory of $[{\Delta }_{\le n+1}^{\mathrm{op}},\mathrm{Set}]$ on those truncated simplicial sets that are truncations of Kan complexes, regarded as a Kan-complex-enriched category by the embedding via ${\mathrm{cosk}}_{n+1}$.

Proof

Notice that every Kan complex $X$ which is $n$-truncated is homotopy equivalent to one in the image of ${\mathrm{cosk}}_{n+1}$, namely to ${\mathrm{cosk}}_{n+1}{\mathrm{tr}}_{n+1}X$, because by one of the properties of ${\mathrm{cosk}}_{n+1}$ we have that the unit

$$X\to {\mathrm{cosk}}_{n+1}{\mathrm{tr}}_{n+1}X$$X \to cosk_{n+1} tr_{n+1} X

induces isomorphisms on homotopy groups ${\pi }_k$ for $k\le n$.

This shows that ${\mathrm{KanCplx}}_{n+1}$ is indeed a full sub-(∞,1)-category of $\mathrm{KanCplx}$ on $n$-truncated objects

Moreover, by the fact discussed at Simplicial and derived adjunctions at adjoint (∞,1)-functor we have that the sSet-enriched adjunction $({\mathrm{tr}}_{n+1}⊣{\mathrm{cosk}}_{n+1})$ on $\mathrm{KanCplx}$ indeed presents a pair of adjoint (∞,1)-functors on ∞Grpd. So ${\mathrm{tr}}_{n+1}:\mathrm{KanCplx}\to \mathrm{KanCplx}$ indeed presents the left adjoint ${\tau }_{\le }:\mathrm{\infty }\mathrm{Grpd}\to n\mathrm{Grpd}$ to the inclusion $n\mathrm{Grpd}\hookrightarrow \mathrm{\infty }\mathrm{Grpd}$.

Diagonals

Example

In ordinary category theory we have that a morphism is a monomorphism (as discussed there), precisely if its diagonal is an isomorphism. Embedded into (∞,1)-category this becomes the special case of prop. 2 for $n=0$: a morphism is (-1)-truncated (hence a monomorphism in an (∞,1)-category), precisely if its diagonal is (-2)-truncated (hence an equivalence in an (∞,1)-category).

Example

Let $X$ be an object that is $n$-truncated. This means that $X\to *$ is an $n$-truncated morphism. So by prop. 2 the diagonal on that object

$$\Delta :X\to X\times X$$\Delta : X \to X \times X

is an $(n-1)$-truncated morphism, and precisely if it is $(n-1)$-truncated is $X$ $n$-truncated.

In particular, the diaginal is a monomorphism in an (∞,1)-category, hence (-1)-truncated, precisely if $X$ is $0$-truncated (an h-set).

Related concepts

• $n$-truncated morphism / n-connected morphism

• n-groupoid, homotopy n-type

• model structure for homotopy n-types

homotopy level	n-truncation	homotopy theory	higher category theory	higher topos theory	homotopy type theory
h-level 0	(-2)-truncated	contractible space	(-2)-groupoid		true/unit type/contractible type
h-level 1	(-1)-truncated		(-1)-groupoid/truth value		h-proposition
h-level 2	0-truncated	discrete space	0-groupoid/set	sheaf	h-set
h-level 3	1-truncated	homotopy 1-type	1-groupoid/groupoid	(2,1)-sheaf/stack	h-groupoid
h-level 4	2-truncated	homotopy 2-type	2-groupoid		h-2-groupoid
h-level 5	3-truncated	homotopy 3-type	3-groupoid		h-3-groupoid
h-level $n+2$	$n$-truncated	homotopy n-type	n-groupoid		h-$n$-groupoid
h-level $\mathrm{\infty }$	untruncated	homotopy type	∞-groupoid	(∞,1)-sheaf/∞-stack	h-$\mathrm{\infty }$-groupoid

References

The discussion of truncated objects in an $(\mathrm{\infty },1)$-category is in section 5.5.6 of

• Jacob Lurie, Higher Topos Theory

The discussion of categorical homotopy groups in an (∞,1)-topos is in section 6.5.1.

A discussion in terms of model category presentations is in section 7 of

• Charles Rezk, Toposes and homotopy toposes (pdf)

A classical article that amplifies the expression of Postnikov towers in terms of coskeletons is

• William Dwyer, Dan Kan, An obstruction theory for diagrams of simplicial sets (pdf)

Discussion in the context of homotopy type theory is in

• Guillaume Brunerie, Truncations and truncated higher inductive types (web)