Question on Models for (∞,1)-Functor Categories
Posted by Urs Schreiber
Here is a question on models for -categories of -functors.
Let be a simplicial model category (let’s say it’s also combinatorial) and the -category presented by it.
Let be any ordinary locally small category, regarded as a simplicially enriched category.
Then on the SSet enriched functor category there is the global injective model structure on functors.
Question 1: Under which conditions is a simplicial model category? Under which conditions does it present the -categoryof -functors ?
In HTT this is answered for the case that : then is the global injective model structure on simplicial presheaves that does indeed present the -category of -presheaves on for all .
What is the statement for more general ?
Now consider the special case that is a Reedy category. Then by a theorem by Vigleik Angeltveit the Reedy model structure on the simplicially enriched functor category makes into a simplicial model category.
Question 2: Under which conditions does present the -category of -functors ?
Re: Question on Models for (∞,1)-Functor Categories
Before his untimely death, Thomason was working on a new definition of model categories. The main point of this definition is supposed to be that any category of functors from a small category into a Thomason model category is again a Thomason model category. I am guessing that the corresponding statement should be true for the right notion of simplicial Thomason model category as well. As far as I know, the only place to read about some of this is Weibel: Homotopy ends and Thomason model categories. This article is a bit unsatisfactory, in that it does not prove the above statements in full generality. However, work is currently being done on the subject, by Xuan Yang and possibly by others as well.
Anyway, it might be that the right context for asking questions about model structures on functor categories is the setting proposed by Thomason. I don’t know if it is easy to make precise the idea of “the -category presented by a simplicial Thomason model category”. If one can do this, it is conceivable that there are no conditions at all needed for the questions in the post.