Strictification conjecture for weak sections of a left Quillen presheaf

From papers

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,YL(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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.