There is a theorem of Schwede and Shipley which classifies categories of modules over an A∞ ring spectrum as those stable presentable (∞,1)-categories with a compact generator. Suppose I allow my A∞ rings to "have many objects", that is, I consider categories of the form FunSp(Iop, Sp) where Sp is the category of spectra, I is a small Sp-enriched category (in some appropriate sense) and Funsp denotes the category of Sp-enriched functors. Is there a classification of which stable presentable categories can be obtained in this way? Is it possible that all stable presentable categories are of this form?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
7
2
|
|
|||
|
|
|
7
|
According to the abstract of http://arxiv.org/abs/math/0108143 (Schwede & Shipley, Classification of Stable Model Categories), they deal with the case of stable model categories (=stable presentable (∞,1)-categories, I suppose) which have a set of compact generators, and show they are the same as model categories of functors from spectral-enriched categories. (Edited, in the light of Reid's comment, to include the hypothesis of compact generators.) |
||||||||||||||
|
