The effectiveness conjecture for homotopy projectors on n-stacks

About 29 years old · traced to

An nn-stack is a functor on a site satisfying descent with respect to sieves, and nSTACK/XnSTACK/{\cal X} denotes the resulting higher category of nn-stacks. Let U′U' be an nn-stack with an endomorphism p:U′→U′p:U'\to U' satisfying p∘p∼pp\circ p\sim p, and let TT be the telescope construction of Section 5. Effectiveness conjecture. The homotopy projector is effective: the telescope construction TT is again an nn-stack. The claim concerns closure of nn-stacks under this homotopy-colimit construction, and no resolution is supplied.

References

Primary source

Carlos Simpson, “Limits in n-categories”, arXiv:alg-geom/9708010 (1997).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.