### Question on Models for (∞,1)-Functor Categories

#### Posted by Urs Schreiber

Here is a question on models for $(\infty,1)$-categories of $(\infty,1)$-functors.

Let $C$ be a simplicial model category (let’s say it’s also combinatorial) and $C^\circ$ the $(\infty,1)$-category presented by it.

Let $R$ be any ordinary locally small category, regarded as a simplicially enriched category.

Then on the SSet enriched functor category $[R,C]$ there is the global injective model structure on functors.

Question 1:Under which conditions is $[R,C]_{inj}$ a simplicial model category? Under which conditions does it present the $(\infty,1)$-categoryof $(\infty,1)$-functors $Func_{(\infty,1)}(R, C^\circ)$?

In HTT this is answered for the case that $C = SSet$: then $[R,C]_{inj} = [R,SSet]_{inj}$ is the global injective model structure on simplicial presheaves that does indeed present the $(\infty,1)$-category of $(\infty,1)$-presheaves on $R$ for all $R$.

What is the statement for more general $C$?

Now consider the special case that $R$ is a Reedy category. Then by a theorem by Vigleik Angeltveit the Reedy model structure on the simplicially enriched functor category $[R,C]$ makes $[R,C]_{Reedy}$ into a simplicial model category.

Question 2:Under which conditions does $[R,C]_{Reedy}$ present the $(\infty,1)$-category of $(\infty,1)$-functors $Func_{(\infty,1)}(R, C^\circ)$?

## 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 $(\infty, 1)$-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.