Exit-path realization conjecture for quasicategories with invertible endomorphisms

Let KK be a quasicategory in which all endomorphisms are equivalences. Write K||K|| for its stratified realization, and let CKC_*K denote the chain complex associated to KK. Exit-path realization conjecture. The \b5\b5-category of constructible sheaves on the stratified space K||K|| is categorically equivalent to

Dco(CK).\mathscr D^{co}(C_*K).

This conjecture predicts that the constructible-sheaf category on the stratified realization can be recovered from the chains on KK. It is presented as being in line with Ayala's conjecture that precisely these quasicategories arise as exit paths of stratified spaces; the source does not provide a resolution.

Sources & referencesView supporting material

Primary source

Julian Holstein and Andrey Lazarev, “Categorical Koszul duality”, arXiv:2006.01705 (2024).

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.