Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: idempotent complete (infinity,1)-category

Bottom of Page

1 to 19 of 19

- CommentRowNumber1.
- CommentAuthorMike Shulman
- CommentTimeJan 27th 2010
- PermaLink
Author: Mike Shulman
Format: MarkdownAt first Zoran's reply to my query at [[structured (infinity,1)-topos]] sounded as though he were saying "being idempotent-complete" were a structure on an (oo,1)-category rather than just a property of it. That had me worried for a while. It looks, though, like what he meant is that "being idempotent" is structure rather than a property, and that makes perfect sense. So I created [[idempotent complete (infinity,1)-category]].

At first Zoran's reply to my query at structured (infinity,1)-topos sounded as though he were saying "being idempotent-complete" were a structure on an (oo,1)-category rather than just a property of it. That had me worried for a while. It looks, though, like what he meant is that "being idempotent" is structure rather than a property, and that makes perfect sense. So I created idempotent complete (infinity,1)-category.
- CommentRowNumber2.
- CommentAuthorzskoda
- CommentTimeJan 27th 2010
- PermaLink
Author: zskoda
Format: MarkdownSorry for the typo, I was originally planning to say the thing in two steps, but then decided it is better to just quote the reference and the phrase was left...

Sorry for the typo, I was originally planning to say the thing in two steps, but then decided it is better to just quote the reference and the phrase was left...
- CommentRowNumber3.
- CommentAuthorMike Shulman
- CommentTimeJun 11th 2010
- PermaLink
Author: Mike Shulman
Format: MarkdownItexLurie defines a simplicial set $Idem$ such that an idempotent in an $(\infty,1)$-category $C$ is the same as a functor $Idem\to C$. Is this $Idem$ the same as the nerve of the free 1-category containing an idempotent?

Lurie defines a simplicial set $Idem$ such that an idempotent in an $(\infty,1)$ -category $C$ is the same as a functor $Idem\to C$ . Is this $Idem$ the same as the nerve of the free 1-category containing an idempotent?
- CommentRowNumber4.
- CommentAuthorMike Shulman
- CommentTimeDec 4th 2014
- PermaLink
Author: Mike Shulman
Format: MarkdownItexSuppose I have an $(\infty,1)$-category $C$ and an idempotent in its homotopy 1-category. Can it be lifted to a "coherent" idempotent in $C$ itself? Is there an obstruction theory?

Suppose I have an $(\infty,1)$ -category $C$ and an idempotent in its homotopy 1-category. Can it be lifted to a “coherent” idempotent in $C$ itself? Is there an obstruction theory?
- CommentRowNumber5.
- CommentAuthorbenjamin.antieau
- CommentTimeDec 5th 2014
- PermaLink
Author: benjamin.antieau
Format: Text@Mike: the closest result I know of is Lemma 7.3.5.14 of Higher Algebra. More or less, it says that if e: X -> X is an morphism, then e can be enhanced to a coherent idempotent if and only there is an equivalence e -> e^2 making the obvious maps e^2 -> e^3 determined by the two choices of parentheses commute up to homotopy.
@Mike: the closest result I know of is Lemma 7.3.5.14 of Higher Algebra. More or less, it says that if e: X -> X is an morphism, then e can be enhanced to a coherent idempotent if and only there is an equivalence e -> e^2 making the obvious maps e^2 -> e^3 determined by the two choices of parentheses commute up to homotopy.
- CommentRowNumber6.
- CommentAuthorDylan Wilson
- CommentTimeDec 5th 2014
- PermaLink
Author: Dylan Wilson
Format: MarkdownItexcf. also Warning 1.2.4.8 for a counterexample if we try to weaken this criterion. (though there are no counterexamples if C is stable.)

cf. also Warning 1.2.4.8 for a counterexample if we try to weaken this criterion. (though there are no counterexamples if C is stable.)
- CommentRowNumber7.
- CommentAuthorMike Shulman
- CommentTimeDec 5th 2014
- PermaLink
Author: Mike Shulman
Format: MarkdownItexAwesome, together those answer the question completely, thanks! I've recorded these facts on [[idempotent complete (infinity,1)-category|the page]].

Awesome, together those answer the question completely, thanks! I’ve recorded these facts on the page.
- CommentRowNumber8.
- CommentAuthorUrs
- CommentTimeDec 8th 2014
- PermaLink
Author: Urs
Format: MarkdownItexI have added pointer to Mike's HoTT wrapup [here](http://ncatlab.org/nlab/show/idempotent+complete+%28infinity,1%29-category#Shulman14)

I have added pointer to Mike’s HoTT wrapup here
- CommentRowNumber9.
- CommentAuthorMike Shulman
- CommentTimeAug 16th 2017
- PermaLink
Author: Mike Shulman
Format: MarkdownItexApparently the answer to the question asked (over 7 years ago) in #3 above is "if it isn't, it should have been". Lurie has now changed the definition of $Idem$ to be the nerve of the free category containing an idempotent; see [here](https://mathoverflow.net/questions/266384/is-the-category-idem-filtered) and [here](https://mathoverflow.net/questions/278841/did-luries-model-of-a-homotopy-coherent-idempotent-change). We should update the definition on the lab.

Apparently the answer to the question asked (over 7 years ago) in #3 above is “if it isn’t, it should have been”. Lurie has now changed the definition of $Idem$ to be the nerve of the free category containing an idempotent; see here and here. We should update the definition on the lab.
- CommentRowNumber10.
- CommentAuthorMike Shulman
- CommentTimeAug 16th 2017
- PermaLink
Author: Mike Shulman
Format: MarkdownItexUpdated [[idempotent complete (infinity,1)-category]] with the new, simpler definitions (and updated page references).

Updated idempotent complete (infinity,1)-category with the new, simpler definitions (and updated page references).
- CommentRowNumber11.
- CommentAuthorMike Shulman
- CommentTimeMay 3rd 2018
- PermaLink
Author: Mike Shulman
Format: MarkdownItexupdated link to point to my paper in addition to blog post <a href="https://ncatlab.org/nlab/revision/diff/idempotent+complete+%28infinity%2C1%29-category/17">diff</a>, <a href="https://ncatlab.org/nlab/revision/idempotent+complete+%28infinity%2C1%29-category/17">v17</a>, <a href="https://ncatlab.org/nlab/show/idempotent+complete+%28infinity%2C1%29-category">current</a>

updated link to point to my paper in addition to blog post

diff, v17, current
- CommentRowNumber12.
- CommentAuthorTim Campion
- CommentTimeFeb 25th 2020
- (edited Feb 25th 2020)
- PermaLink
Author: Tim Campion
Format: MarkdownItexSomehow, I can't find 7.3.5.14 in Higher Algebra, nor can I find any discussion of this coherence issue anywhere else in HA. Presumably it was removed in some update to HA (or else I'm just colossally failing). Does anybody know where I can find an exposition of this (i.e. the fact that an incoherent idempotent plus a finite number of coherences automatically lifts to a coherent idempotent) which _isn't_ phrased in type theory like Mike's paper or blog post? It's reminiscent of HTT 5.2.7.4, which basically shows that this coherence statement is solvable for idempotent endofunctors.

Somehow, I can’t find 7.3.5.14 in Higher Algebra, nor can I find any discussion of this coherence issue anywhere else in HA. Presumably it was removed in some update to HA (or else I’m just colossally failing). Does anybody know where I can find an exposition of this (i.e. the fact that an incoherent idempotent plus a finite number of coherences automatically lifts to a coherent idempotent) which isn’t phrased in type theory like Mike’s paper or blog post? It’s reminiscent of HTT 5.2.7.4, which basically shows that this coherence statement is solvable for idempotent endofunctors.
- CommentRowNumber13.
- CommentAuthorTim Campion
- CommentTimeFeb 25th 2020
- (edited Feb 25th 2020)
- PermaLink
Author: Tim Campion
Format: MarkdownItexI figured it out -- when Lurie rewrote the idempotents section in HTT, he seems to have moved this there -- it's HTT 4.4.5.20 now. The fun thing about this coherence question is that it tells us the following: the walking idempotent $Idem$ is a compact object in the $\infty$-category of $\infty$-categories -- even though it has infinitely many nondegenerate simplices as a simplicial set! In particular, writing $Idem$ as the sequential colimit of its skeleta, we see that the identity map factors through some stage of the colimit, $\infty$-categorically. More precisely, I think what we can say is that $Idem$ is a retract of a Joyal-fibrant replacement of its 3-skeleton. Now, I believe it's shown that if $X$ is a finite simplicial set, or just Joyal-equivalent to a finite simplicial set, then any $\infty$-category with an initial object and pushouts has $X$-indexed colimits. We know that not every $\infty$-category with an initial object and pushouts admits splitting of idempotents (e.g. finite spaces, by the Wall finiteness obstruction). Therefore, $Idem$ is not Joyal-equivalent to a finite simplicial set, Therefore $Idem$ is an example of a compact object in $Cat_\infty$, the $\infty$-category of $\infty$-categories, which cannot be obtained as a finite colimit of $\Delta[n]$'s, even though every compact object is a retract of a finite colimit of $\Delta[n]$'s. The point is that this is analogous to the phenomenon in the $\infty$-category $Gpd_\infty$ of spaces, where not every compact object is a finite colimit of contractible spaces, even though every compact object is a retract of such -- as seen via the Wall finiteness obstruction. That is, if you're looking for examples of the Wall phenomenon in $Gpd_\infty$, it's a bit exotic. But if you look for examples of it in $Cat_\infty$, you have this great, familiar example in the form of $Idem$. Relatedly, the fact that the skeleta of $Idem$ can't be equivalent to $Idem$ implies that there must exist examples of inequivalent coher-ifications of homotopy idempotents of all orders, as Mike asked about [here](https://mathoverflow.net/questions/189412/non-unique-splittings-of-homotopy-idempotents). Do these arguments show that the inclusion of the 3-skeleton into $Idem$ is $\infty$-categorically cofinal and co-cofinal?

I figured it out – when Lurie rewrote the idempotents section in HTT, he seems to have moved this there – it’s HTT 4.4.5.20 now.

The fun thing about this coherence question is that it tells us the following: the walking idempotent $Idem$ is a compact object in the $\infty$ -category of $\infty$ -categories – even though it has infinitely many nondegenerate simplices as a simplicial set! In particular, writing $Idem$ as the sequential colimit of its skeleta, we see that the identity map factors through some stage of the colimit, $\infty$ -categorically. More precisely, I think what we can say is that $Idem$ is a retract of a Joyal-fibrant replacement of its 3-skeleton.

Now, I believe it’s shown that if $X$ is a finite simplicial set, or just Joyal-equivalent to a finite simplicial set, then any $\infty$ -category with an initial object and pushouts has $X$ -indexed colimits. We know that not every $\infty$ -category with an initial object and pushouts admits splitting of idempotents (e.g. finite spaces, by the Wall finiteness obstruction). Therefore, $Idem$ is not Joyal-equivalent to a finite simplicial set, Therefore $Idem$ is an example of a compact object in $Cat_\infty$ , the $\infty$ -category of $\infty$ -categories, which cannot be obtained as a finite colimit of $\Delta[n]$ ’s, even though every compact object is a retract of a finite colimit of $\Delta[n]$ ’s. The point is that this is analogous to the phenomenon in the $\infty$ -category $Gpd_\infty$ of spaces, where not every compact object is a finite colimit of contractible spaces, even though every compact object is a retract of such – as seen via the Wall finiteness obstruction.

That is, if you’re looking for examples of the Wall phenomenon in $Gpd_\infty$ , it’s a bit exotic. But if you look for examples of it in $Cat_\infty$ , you have this great, familiar example in the form of $Idem$ .

Relatedly, the fact that the skeleta of $Idem$ can’t be equivalent to $Idem$ implies that there must exist examples of inequivalent coher-ifications of homotopy idempotents of all orders, as Mike asked about here.

Do these arguments show that the inclusion of the 3-skeleton into $Idem$ is $\infty$ -categorically cofinal and co-cofinal?
- CommentRowNumber14.
- CommentAuthorMike Shulman
- CommentTimeMar 12th 2020
- PermaLink
Author: Mike Shulman
Format: MarkdownItexNice observation. I don't know about finality.

Nice observation. I don’t know about finality.
- CommentRowNumber15.
- CommentAuthorDmitri Pavlov
- CommentTimeMar 13th 2020
- PermaLink
Author: Dmitri Pavlov
Format: MarkdownItexCorrected a link. <a href="https://ncatlab.org/nlab/revision/diff/idempotent+complete+%28infinity%2C1%29-category/19">diff</a>, <a href="https://ncatlab.org/nlab/revision/idempotent+complete+%28infinity%2C1%29-category/19">v19</a>, <a href="https://ncatlab.org/nlab/show/idempotent+complete+%28infinity%2C1%29-category">current</a>

Corrected a link.

diff, v19, current
- CommentRowNumber16.
- CommentAuthorDELETED_USER_2018
- CommentTimeSep 20th 2021
- (edited Apr 11th 2023)
- PermaLink
Author: DELETED_USER_2018
Format: MarkdownItex[deleted]

[deleted]
- CommentRowNumber17.
- CommentAuthorHurkyl
- CommentTimeSep 20th 2021
- PermaLink
Author: Hurkyl
Format: MarkdownItexHTT 4.4.5.10 says that Idem is weakly contractible; its weak homotopy type is the point.

HTT 4.4.5.10 says that Idem is weakly contractible; its weak homotopy type is the point.
- CommentRowNumber18.
- CommentAuthorDELETED_USER_2018
- CommentTimeSep 20th 2021
- (edited Apr 11th 2023)
- PermaLink
Author: DELETED_USER_2018
Format: MarkdownItex[deleted]

[deleted]
- CommentRowNumber19.
- CommentAuthorHurkyl
- CommentTimeJun 22nd 2023
- PermaLink
Author: Hurkyl
Format: MarkdownItexI added a remark that an incoherent idempotent can have inequivalent coherentifications, since that seems to be the takeaway from the discussion. <a href="https://ncatlab.org/nlab/revision/diff/idempotent+complete+%28infinity%2C1%29-category/20">diff</a>, <a href="https://ncatlab.org/nlab/revision/idempotent+complete+%28infinity%2C1%29-category/20">v20</a>, <a href="https://ncatlab.org/nlab/show/idempotent+complete+%28infinity%2C1%29-category">current</a>

I added a remark that an incoherent idempotent can have inequivalent coherentifications, since that seems to be the takeaway from the discussion.

diff, v20, current

1 to 19 of 19

nForum

Discussion Feed

Not signed in

Site Tag Cloud

nLab > Latest Changes: idempotent complete (infinity,1)-category