Let $\mathcal{C}$ be a small catgeory, $\mathcal{E}$ be a model category and $A\: : \: \mathcal{C}\to \mathcal{E}$ be a functor. Let $\tilde{A}$ be an objectwise cosimplicial frame on A. Consider the functor $\mathcal{E}\to sPsh(\mathcal{C}) $ $$ E\to \operatorname{Hom}_{\mathcal{E}}(\tilde{A}(-),E), $$ where $sPsh(\mathcal{C}) $ is the category of simplicial presheaves equipped with the projective model structure. It is easy to show for example that if $E$ is fibrant then the above simplicial presheaf is fibrant. Do you know some conditions on $\mathcal{C}, \mathcal{E}, \tilde{A}$, $E$ such that the above simplicial presheaf $\operatorname{Hom}_{\mathcal{E}}(\tilde{A}(-),E)$ is cofibrant?
5
-
$\begingroup$ What is B? Also, describing the context in which such a question arose would be helpful (and encouraged on MO). $\endgroup$– Dmitri PavlovCommented Feb 13, 2015 at 19:42
-
$\begingroup$ Ups sorry $E$ not $B$!! $\endgroup$– CepuCommented Feb 16, 2015 at 7:21
-
$\begingroup$ For a hom to be fibrant one normally expects its target (in this case E) to be fibrant, not cofibrant, so I don't understand the claim that Hom(A(−),E) is fibrant for cofibrant E. $\endgroup$– Dmitri PavlovCommented Feb 16, 2015 at 18:43
-
$\begingroup$ Thanks and sorry again, actually the context is very general. $\endgroup$– CepuCommented Feb 17, 2015 at 16:37
-
$\begingroup$ In such a general situation with no additional context it's unlikely that something better than the general cofibrancy criterion, as described in mathoverflow.net/a/127187, is possible. $\endgroup$– Dmitri PavlovCommented Feb 24, 2015 at 16:56
Add a comment
|