Let $Idem = Idem^{(\infty)}$ be the walking idempotent [1], and let $Idem^{(n)}$ be its n-skeleton. Note that $Idem$ has one nondegenerate simplex in each dimension. Let $\iota_n^m: Idem^{(n)} \to Idem^{(m)}$ be the inclusion. Lurie has shown [2] the following:

• If $X$ is a quasicategory, and if $Idem^{(3)} \xrightarrow f X$ is a map, then there exists a map $Idem \xrightarrow g X$ such that $g\iota_1^\infty = f\iota_1^3$.

That is, although a homotopy-coherent idempotent involves infinitely many pieces of coherence data corresponding to the infinitely many nondegenerate simplices of $Idem$, nevertheless all of this data is guaranteed to exist once the first 3 have been found. However, the resulting coherence data might be different from the original data in dimensions 2 and 3 [3].

The proof is a bit involved, and I have not studied it in detail, but what I do understand seems to suggest an affirmative answer to the following

Question: Is the inclusion $Idem^{(n)} \to Idem$ homotopy cofinal for certain $n$ (i.e. is it cofinal in the $\infty$-categorical sense -- depending on how one defines this, it may be necessary to Joyal-fibrantly replace $Idem^{(n)}$ before the question makes sense)? As noted in the comments, this is definitely not true for $n$ odd, nor is it true for $n=0$. Somehow it seems unlikely for $n=2$; hence the title question, which asks this for $n=4$.

I don't believe the inclusion $Idem^{(n)} \to Idem$ is left or right anodyne, so any proof will encounter some complications.

One idea would be to use the usual map $N \to Idem^{(n)}$, where $N \subseteq \mathbb N$ is the graph on which the poset $\mathbb N$ of natural numbers is free -- the 0-cells are natural numbers, and there is a 1-cell from $n$ to $n+1$ for each $n$. For the inclusion $N \to \mathbb N$ is a categorical equivalence, and it's easy to show that $\mathbb N \to Idem$ is homotopy cofinal using Quillen's Theorem A (since the relevant slice categories are just ordinary 1-categories). By composition, $N \to Idem$ is homotopy cofinal, but this factors through $Idem^{(n)}$. By a cancellation property of cofinality, in order to show that $Idem^{(n)} \to Idem$ is homotopy cofinal, it will suffice to show that $N \to Idem^{(n)}$ is homotopy cofinal, which sounds straightforward, since $N$ and $Idem^{(n)}$ are finite-dimensional. But I'm not sure the relevant slice objects are still finite-dimensional...

[1] That is, $Idem$ is the category with one object and one non-identity morphism $i$, satisfying the equation $i^2 = i$. In this question I identify 1-categories with their nerves, which are quasicategories.

[2] HTT 4.4.5.20 in the current version. This does not appear in the published version of HTT. It appears in older versions of HA as 7.3.5.14, but was moved to HTT when Lurie rewrote the section on idempotents in HTT.

[3] For example, consider the inclusion $Idem^{(3)} \to \widetilde{Idem^{(3)}}$ given by a Kan fibrant replacement such as $Ex^\infty$. This map is nontrivial on homology, so it cannot actually be extended to a map $Idem \to \widetilde{Idem^{(3)}}$ since this would amount to a trivialization. Thus the extension produced by Lurie's theorem must be changing the image of the 3-cell of $Idem^{(3)}$, at least. In particular, it's not the case that all quasicategories have the right lifting property with respect to $\iota_3^\infty$.

Let $Idem = Idem^{(\infty)}$ be the walking idempotent [1], and let $Idem^{(n)}$ be its n-skeleton. Note that $Idem$ has one nondegenerate simplex in each dimension. Let $\iota_n^m: Idem^{(n)} \to Idem^{(m)}$ be the inclusion. Lurie has shown [2] the following:

• If $X$ is a quasicategory, and if $Idem^{(3)} \xrightarrow f X$ is a map, then there exists a map $Idem \xrightarrow g X$ such that $g\iota_1^\infty = f\iota_1^3$.

That is, although a homotopy-coherent idempotent involves infinitely many pieces of coherence data corresponding to the infinitely many nondegenerate simplices of $Idem$, nevertheless all of this data is guaranteed to exist once the first 3 have been found. However, the resulting coherence data might be different from the original data in dimensions 2 and 3 [3].

The proof is a bit involved, and I have not studied it in detail, but what I do understand seems to suggest an affirmative answer to the following

Question: Is the inclusion $Idem^{(n)} \to Idem$ homotopy cofinal for certain $n$ (i.e. is it cofinal in the $\infty$-categorical sense -- depending on how one defines this, it may be necessary to Joyal-fibrantly replace $Idem^{(n)}$ before the question makes sense)? As noted in the comments, this is definitely not true for $n$ odd, nor is it true for $n=0$. Somehow it seems unlikely for $n=2$; hence the title question, which asks this for $n=4$.

I don't believe the inclusion $Idem^{(n)} \to Idem$ is left or right anodyne, so any proof will encounter some complications.

One idea would be to use the usual map $N \to Idem^{(n)}$, where $N \subseteq \mathbb N$ is the graph on which the poset $\mathbb N$ of natural numbers is free -- the 0-cells are natural numbers, and there is a 1-cell from $n$ to $n+1$ for each $n$. For the inclusion $N \to \mathbb N$ is a categorical equivalence, and it's easy to show that $\mathbb N \to Idem$ is homotopy cofinal using Quillen's Theorem A (since the relevant slice categories are just ordinary 1-categories). By composition, $N \to Idem$ is homotopy cofinal, but this factors through $Idem^{(n)}$. By a cancellation property of cofinality, in order to show that $Idem^{(n)} \to Idem$ is homotopy cofinal, it will suffice to show that $N \to Idem^{(n)}$ is homotopy cofinal, which sounds straightforward, since $N$ and $Idem^{(n)}$ are finite-dimensional. But I'm not sure the relevant slice objects are still finite-dimensional...

[1] That is, $Idem$ is the category with one object and one non-identity morphism $i$, satisfying the equation $i^2 = i$. In this question I identify 1-categories with their nerves, which are quasicategories.

[2] HTT 4.4.5.20 in the current version. This does not appear in the published version of HTT. It appears in older versions of HA as 7.3.5.14, but was moved to HTT when Lurie rewrote the section on idempotents in HTT.

[3] For example, consider the inclusion $Idem^{(3)} \to \widetilde{Idem^{(3)}}$ given by a Kan fibrant replacement such as $Ex^\infty$. This map is nontrivial on homology, so it cannot actually be extended to a map $Idem \to \widetilde{Idem^{(3)}}$ since this would amount to a trivialization. Thus the extension produced by Lurie's theorem must be changing the image of the 3-cell of $Idem^{(3)}$, at least. In particular, it's not the case that all quasicategories have the right lifting property with respect to $\iota_3^\infty$.

Let $Idem = Idem^{(\infty)}$ be the walking idempotent [1], and let $Idem^{(n)}$ be its n-skeleton. Note that $Idem$ has one nondegenerate simplex in each dimension. Let $\iota_n^m: Idem^{(n)} \to Idem^{(m)}$ be the inclusion. Lurie has shown [2] the following:

• If $X$ is a quasicategory, and if $Idem^{(3)} \xrightarrow f X$ is a map, then there exists a map $Idem \xrightarrow g X$ such that $g\iota_1^\infty = f\iota_1^3$.

That is, although a homotopy-coherent idempotent involves infinitely many pieces of coherence data corresponding to the infinitely many nondegenerate simplices of $Idem$, nevertheless all of this data is guaranteed to exist once the first 3 have been found. However, the resulting coherence data might be different from the original data in dimensions 2 and 3 [3].

The proof is a bit involved, and I have not studied it in detail, but what I do understand seems to suggest an affirmative answer to the following

Question: Is the inclusion $Idem^{(n)} \to Idem$ homotopy cofinal for certain $n$ (i.e. is it cofinal in the $\infty$-categorical sense -- depending on how one defines this, it may be necessary to Joyal-fibrantly replace $Idem^{(n)}$ before the question makes sense)? As noted in the comments, this is definitely not true for $n$ odd, nor is it true for $n\leq 3$.

I don't believe the inclusion $Idem^{(n)} \to Idem$ is left or right anodyne, so any proof will encounter some complications.

One idea would be to use the usual map $N \to Idem^{(n)}$, where $N \subseteq \mathbb N$ is the graph on which the poset $\mathbb N$ of natural numbers is free -- the 0-cells are natural numbers, and there is a 1-cell from $n$ to $n+1$ for each $n$. For the inclusion $N \to \mathbb N$ is a categorical equivalence, and it's easy to show that $\mathbb N \to Idem$ is homotopy cofinal using Quillen's Theorem A (since the relevant slice categories are just ordinary 1-categories). By composition, $N \to Idem$ is homotopy cofinal, but this factors through $Idem^{(n)}$. By a cancellation property of cofinality, in order to show that $Idem^{(n)} \to Idem$ is homotopy cofinal, it will suffice to show that $N \to Idem^{(n)}$ is homotopy cofinal, which sounds straightforward, since $N$ and $Idem^{(n)}$ are finite-dimensional. But I'm not sure the relevant slice objects are still finite-dimensional...

[1] That is, $Idem$ is the category with one object and one non-identity morphism $i$, satisfying the equation $i^2 = i$. In this question I identify 1-categories with their nerves, which are quasicategories.

[2] HTT 4.4.5.20 in the current version. This does not appear in the published version of HTT. It appears in older versions of HA as 7.3.5.14, but was moved to HTT when Lurie rewrote the section on idempotents in HTT.

[3] For example, consider the inclusion $Idem^{(3)} \to \widetilde{Idem^{(3)}}$ given by a Kan fibrant replacement such as $Ex^\infty$. This map is nontrivial on homology, so it cannot actually be extended to a map $Idem \to \widetilde{Idem^{(3)}}$ since this would amount to a trivialization. Thus the extension produced by Lurie's theorem must be changing the image of the 3-cell of $Idem^{(3)}$, at least. In particular, it's not the case that all quasicategories have the right lifting property with respect to $\iota_3^\infty$.

Let $Idem = Idem^{(\infty)}$ be the walking idempotent [1], and let $Idem^{(n)}$ be its n-skeleton. Note that $Idem$ has one nondegenerate simplex in each dimension. Let $\iota_n^m: Idem^{(n)} \to Idem^{(m)}$ be the inclusion. Lurie has shown [2] the following:

• If $X$ is a quasicategory, and if $Idem^{(3)} \xrightarrow f X$ is a map, then there exists a map $Idem \xrightarrow g X$ such that $g\iota_1^\infty = f\iota_1^3$.

That is, although a homotopy-coherent idempotent involves infinitely many pieces of coherence data corresponding to the infinitely many nondegenerate simplices of $Idem$, nevertheless all of this data is guaranteed to exist once the first 3 have been found. However, the resulting coherence data might be different from the original data in dimensions 2 and 3 [3].

The proof is a bit involved, and I have not studied it in detail, but what I do understand seems to suggest an affirmative answer to the following

Question: Is the inclusion $Idem^{(n)} \to Idem$ homotopy cofinal for certain $n$ (i.e. is it cofinal in the $\infty$-categorical sense -- depending on how one defines this, it may be necessary to Joyal-fibrantly replace $Idem^{(n)}$ before the question makes sense)? As noted in the comments, this is definitely not true for $n$ odd, nor is it true for $n=0$. Somehow it seems unlikely for $n=2$; hence the title question, which asks this for $n=4$.

I don't believe the inclusion $Idem^{(n)} \to Idem$ is left or right anodyne, so any proof will encounter some complications.

One idea would be to use the usual map $N \to Idem^{(n)}$, where $N \subseteq \mathbb N$ is the graph on which the poset $\mathbb N$ of natural numbers is free -- the 0-cells are natural numbers, and there is a 1-cell from $n$ to $n+1$ for each $n$. For the inclusion $N \to \mathbb N$ is a categorical equivalence, and it's easy to show that $\mathbb N \to Idem$ is homotopy cofinal using Quillen's Theorem A (since the relevant slice categories are just ordinary 1-categories). By composition, $N \to Idem$ is homotopy cofinal, but this factors through $Idem^{(n)}$. By a cancellation property of cofinality, in order to show that $Idem^{(n)} \to Idem$ is homotopy cofinal, it will suffice to show that $N \to Idem^{(n)}$ is homotopy cofinal, which sounds straightforward, since $N$ and $Idem^{(n)}$ are finite-dimensional. But I'm not sure the relevant slice objects are still finite-dimensional...

[1] That is, $Idem$ is the category with one object and one non-identity morphism $i$, satisfying the equation $i^2 = i$. In this question I identify 1-categories with their nerves, which are quasicategories.

[2] HTT 4.4.5.20 in the current version. This does not appear in the published version of HTT. It appears in older versions of HA as 7.3.5.14, but was moved to HTT when Lurie rewrote the section on idempotents in HTT.

[3] For example, consider the inclusion $Idem^{(3)} \to \widetilde{Idem^{(3)}}$ given by a Kan fibrant replacement such as $Ex^\infty$. This map is nontrivial on homology, so it cannot actually be extended to a map $Idem \to \widetilde{Idem^{(3)}}$ since this would amount to a trivialization. Thus the extension produced by Lurie's theorem must be changing the image of the 3-cell of $Idem^{(3)}$, at least. In particular, it's not the case that all quasicategories have the right lifting property with respect to $\iota_3^\infty$.

Let $Idem = Idem^{(\infty)}$ be the walking idempotent [1], and let $Idem^{(n)}$ be its n-skeleton. Note that $Idem$ has one nondegenerate simplex in each dimension. Let $\iota_n^m: Idem^{(m)} \to Idem^{(n)}$ be the inclusion. Lurie has shown [2] the following:

• If $X$ is a quasicategory, and if $Idem^{(3)} \xrightarrow f X$ is a map, then there exists a map $Idem \xrightarrow g X$ such that $g\iota_1^\infty = f\iota_1^3$.

That is, although a homotopy-coherent idempotent involves infinitely many pieces of coherence data corresponding to the infinitely many nondegenerate simplices of $Idem$, nevertheless all of this data is guaranteed to exist once the first 3 have been found. However, the resulting coherence data might be different from the original data in dimensions 2 and 3.

The proof is a bit involved, and I have not studied it in detail, but what I do understand seems to suggest an affirmative answer to the following

Question: Is the inclusion $Idem^{(n)} \to Idem$ homotopy cofinal for certain $n$ (i.e. is it cofinal in the $\infty$-categorical sense -- depending on how one defines this, it may be necessary to Joyal-fibrantly replace $Idem^{(n)}$ before the question makes sense)? As noted in the comments, this is definitely not true for $n$ odd, nor is it true for $n\leq 3$.

I don't believe the inclusion $Idem^{(n)} \to Idem$ is left or right anodyne, so any proof will encounter some complications.

One idea would be to use the usual map $N \to Idem^{(n)}$, where $N \subseteq \mathbb N$ is the graph on which the poset $\mathbb N$ of natural numbers is free -- the 0-cells are natural numbers, and there is a 1-cell from $n$ to $n+1$ for each $n$. For the inclusion $N \to \mathbb N$ is a categorical equivalence, and it's easy to show that $\mathbb N \to Idem$ is homotopy cofinal using Quillen's Theorem A (since the relevant slice categories are just ordinary 1-categories). By composition, $N \to Idem$ is homotopy cofinal, but this factors through $Idem^{(n)}$. By a cancellation property of cofinality, in order to show that $Idem^{(n)} \to Idem$ is homotopy cofinal, it will suffice to show that $N \to Idem^{(n)}$ is homotopy cofinal, which sounds straightforward, since $N$ and $Idem^{(n)}$ are finite-dimensional. But I'm not sure the relevant slice objects are still finite-dimensional...

[1] That is, $Idem$ is the category with one object and one non-identity morphism $i$, satisfying the equation $i^2 = i$. In this question I identify 1-categories with their nerves, which are quasicategories.

[2] HTT 4.4.5.20 in the current version. This does not appear in the published version of HTT. It appears in older versions of HA as 7.3.5.14, but was moved to HTT when Lurie rewrote the section on idempotents in HTT.

Let $Idem = Idem^{(\infty)}$ be the walking idempotent [1], and let $Idem^{(n)}$ be its n-skeleton. Note that $Idem$ has one nondegenerate simplex in each dimension. Let $\iota_n^m: Idem^{(n)} \to Idem^{(m)}$ be the inclusion. Lurie has shown [2] the following:

• If $X$ is a quasicategory, and if $Idem^{(3)} \xrightarrow f X$ is a map, then there exists a map $Idem \xrightarrow g X$ such that $g\iota_1^\infty = f\iota_1^3$.

That is, although a homotopy-coherent idempotent involves infinitely many pieces of coherence data corresponding to the infinitely many nondegenerate simplices of $Idem$, nevertheless all of this data is guaranteed to exist once the first 3 have been found. However, the resulting coherence data might be different from the original data in dimensions 2 and 3 [3].

The proof is a bit involved, and I have not studied it in detail, but what I do understand seems to suggest an affirmative answer to the following

Question: Is the inclusion $Idem^{(n)} \to Idem$ homotopy cofinal for certain $n$ (i.e. is it cofinal in the $\infty$-categorical sense -- depending on how one defines this, it may be necessary to Joyal-fibrantly replace $Idem^{(n)}$ before the question makes sense)? As noted in the comments, this is definitely not true for $n$ odd, nor is it true for $n\leq 3$.

I don't believe the inclusion $Idem^{(n)} \to Idem$ is left or right anodyne, so any proof will encounter some complications.

One idea would be to use the usual map $N \to Idem^{(n)}$, where $N \subseteq \mathbb N$ is the graph on which the poset $\mathbb N$ of natural numbers is free -- the 0-cells are natural numbers, and there is a 1-cell from $n$ to $n+1$ for each $n$. For the inclusion $N \to \mathbb N$ is a categorical equivalence, and it's easy to show that $\mathbb N \to Idem$ is homotopy cofinal using Quillen's Theorem A (since the relevant slice categories are just ordinary 1-categories). By composition, $N \to Idem$ is homotopy cofinal, but this factors through $Idem^{(n)}$. By a cancellation property of cofinality, in order to show that $Idem^{(n)} \to Idem$ is homotopy cofinal, it will suffice to show that $N \to Idem^{(n)}$ is homotopy cofinal, which sounds straightforward, since $N$ and $Idem^{(n)}$ are finite-dimensional. But I'm not sure the relevant slice objects are still finite-dimensional...

[1] That is, $Idem$ is the category with one object and one non-identity morphism $i$, satisfying the equation $i^2 = i$. In this question I identify 1-categories with their nerves, which are quasicategories.

[2] HTT 4.4.5.20 in the current version. This does not appear in the published version of HTT. It appears in older versions of HA as 7.3.5.14, but was moved to HTT when Lurie rewrote the section on idempotents in HTT.

[3] For example, consider the inclusion $Idem^{(3)} \to \widetilde{Idem^{(3)}}$ given by a Kan fibrant replacement such as $Ex^\infty$. This map is nontrivial on homology, so it cannot actually be extended to a map $Idem \to \widetilde{Idem^{(3)}}$ since this would amount to a trivialization. Thus the extension produced by Lurie's theorem must be changing the image of the 3-cell of $Idem^{(3)}$, at least. In particular, it's not the case that all quasicategories have the right lifting property with respect to $\iota_3^\infty$.