The conjectural model structure on AA_{\infty}-precat categories

Let C{\cal C} be an AA_{\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 ABA\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 AA_{\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.

Sources & referencesView supporting material

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.