Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
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...
Lurie defines a simplicial set such that an idempotent in an -category is the same as a functor . Is this the same as the nerve of the free 1-category containing an idempotent?
Suppose I have an -category and an idempotent in its homotopy 1-category. Can it be lifted to a “coherent” idempotent in itself? Is there an obstruction theory?
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.)
Awesome, together those answer the question completely, thanks! I’ve recorded these facts on the page.
I have added pointer to Mike’s HoTT wrapup here
Updated idempotent complete (infinity,1)-category with the new, simpler definitions (and updated page references).
1 to 11 of 11