The conjectural model structure on A∞A_{\infty}-precat categories

About 29 years old · traced to

Let C{\cal C} be an A∞A_{\infty}-operad, and let C^\widehat{{\cal C}}-precats be the associated category of precategories. Assume the cofibrations are the maps defined in the preceding construction, and call a morphism A→BA\rightarrow B a weak equivalence when the induced map CatC(A)→CatC(B)Cat _{{\cal C}}(A)\rightarrow Cat _{{\cal C}}(B) is an equivalence of C^\widehat{{\cal C}}-categories.

Model-structure conjecture. For a wide range of A∞A_{\infty}-operads C{\cal C}, the category of C^\widehat{{\cal C}}-precats admits a closed model structure with these cofibrations and weak equivalences, and with fibrations the maps satisfying the lifting property with respect to trivial cofibrations.

Such a model structure would provide a homotopical framework for C^\widehat{{\cal C}}-categories and their precategorical presentations. The source does not specify the range of operads or provide evidence of resolution.

References

Primary source

Carlos Simpson, “Effective generalized Seifert-Van Kampen: how to calculate ΩX”, arXiv:q-alg/9710011 (1997).

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.