Strictification conjecture for weak sections of a left Quillen presheaf
Let be a small category and let be a left Quillen presheaf on . Suppose that satisfies hypothesis (o), introduced in Section 19, which in particular says that each admits all small limits. Say that the weak sections of over strictify when the morphism
is essentially surjective. Strictification conjecture. The weak sections of over 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
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.