Strictification conjecture for weak sections of a left Quillen presheaf

About 28 years old · traced to

Let YY be a small category and let M\mathbf{M} be a left Quillen presheaf on YY. Suppose that M\mathbf{M} satisfies hypothesis (o), introduced in Section 19, which in particular says that each M(y)\mathbf{M}(y) admits all small limits. Say that the weak sections of M\mathbf{M} over YY strictify when the morphism

Sect(Y,∫YM)⟶Sect(Y,∫Y′L(M))Sect(Y,\int_Y\mathbf{M})\longrightarrow Sect(Y,\int'_Y L(\mathbf{M}))

is essentially surjective. Strictification conjecture. The weak sections of M\mathbf{M} over YY strictify in this sense. The text proves the corresponding assertion for a Reedy category and leaves the extension to an arbitrary category, under hypothesis (o), as a conjecture.

References

Primary source

André Hirschowitz and Carlos Simpson, “Descente pour les n-champs (Descent for n-stacks)”, arXiv:math/9807049 (2001).

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.