In Jacob Lurie's Higher Topos Theory, Section 6.5.3, he briefly mentions that to stackify a presheaf of $n$-groupoids, one needs to apply the "+"-construction $\left(n+1\right)$$\left(n+2\right)$ times, and in general, for a presheaf of $\infty$-groupoids, one needs to apply a transfinite iteration. However, not much detail is given about this. Does anyone know where I can read more about this? Thanks.
I keep getting cognitive dissonance from the Quillen plus construction. Clarified title to be specific. Feel free to revert if you like.
Tim Campion
- 63.9k
- 13
- 143
- 384