Skip to main content
added 37 characters in body
Source Link

Let $X:I\to M$ be a functor from a small category $I$ to a simplicial accessible (not combinatorial) proper model category $M$ which is already injective cofibrant. Let $W:I^{op}\to \mathrm{Set}$ be a weight. I consider the weighted colimit

$$ \int^{c\in I} W(c).X(c) = {\mathrm{coeq}}\bigg(\coprod_{c,c'}(W(c')\times I(c,c')).X(c)\rightrightarrows \coprod_{c} W(c).X(c)\bigg) $$

I cannot figure out whether there is a general fact behind what follows: in my case, if $X:I\to M$ is projective cofibrant, then the weighted colimit behaves like a homotopy weighted colimit, i.e. by replacing a projective cofibrant $X:I\to M$ by another one which is objectwise weakly equivalent, I obtain a weak equivalent weighted colimit. Taking a cofibrant replacement of $X:I\to M$ in the projective model structure is quite complicated. Now here is my question.

Is there a way to use the simplicial structure of $M$ to obtain a formula for the homotopy weighted colimit without having to find a cofibrantprojective cofibrant replacement of $X:I\to M$ ?

Let $X:I\to M$ be a functor from a small category $I$ to a simplicial accessible (not combinatorial) proper model category $M$. Let $W:I^{op}\to \mathrm{Set}$ be a weight. I consider the weighted colimit

$$ \int^{c\in I} W(c).X(c) = {\mathrm{coeq}}\bigg(\coprod_{c,c'}(W(c')\times I(c,c')).X(c)\rightrightarrows \coprod_{c} W(c).X(c)\bigg) $$

I cannot figure out whether there is a general fact behind what follows: in my case, if $X:I\to M$ is projective cofibrant, then the weighted colimit behaves like a homotopy weighted colimit, i.e. by replacing a projective cofibrant $X:I\to M$ by another one which is objectwise weakly equivalent, I obtain a weak equivalent weighted colimit. Taking a cofibrant replacement of $X:I\to M$ in the projective model structure is quite complicated. Now here is my question.

Is there a way to use the simplicial structure of $M$ to obtain a formula for the homotopy weighted colimit without having to find a cofibrant replacement of $X:I\to M$ ?

Let $X:I\to M$ be a functor from a small category $I$ to a simplicial accessible (not combinatorial) proper model category $M$ which is already injective cofibrant. Let $W:I^{op}\to \mathrm{Set}$ be a weight. I consider the weighted colimit

$$ \int^{c\in I} W(c).X(c) = {\mathrm{coeq}}\bigg(\coprod_{c,c'}(W(c')\times I(c,c')).X(c)\rightrightarrows \coprod_{c} W(c).X(c)\bigg) $$

I cannot figure out whether there is a general fact behind what follows: in my case, if $X:I\to M$ is projective cofibrant, then the weighted colimit behaves like a homotopy weighted colimit, i.e. by replacing a projective cofibrant $X:I\to M$ by another one which is objectwise weakly equivalent, I obtain a weak equivalent weighted colimit. Taking a cofibrant replacement of $X:I\to M$ in the projective model structure is quite complicated. Now here is my question.

Is there a way to use the simplicial structure of $M$ to obtain a formula for the homotopy weighted colimit without having to find a projective cofibrant replacement of $X:I\to M$ ?

Source Link

About homotopy weighted colimit

Let $X:I\to M$ be a functor from a small category $I$ to a simplicial accessible (not combinatorial) proper model category $M$. Let $W:I^{op}\to \mathrm{Set}$ be a weight. I consider the weighted colimit

$$ \int^{c\in I} W(c).X(c) = {\mathrm{coeq}}\bigg(\coprod_{c,c'}(W(c')\times I(c,c')).X(c)\rightrightarrows \coprod_{c} W(c).X(c)\bigg) $$

I cannot figure out whether there is a general fact behind what follows: in my case, if $X:I\to M$ is projective cofibrant, then the weighted colimit behaves like a homotopy weighted colimit, i.e. by replacing a projective cofibrant $X:I\to M$ by another one which is objectwise weakly equivalent, I obtain a weak equivalent weighted colimit. Taking a cofibrant replacement of $X:I\to M$ in the projective model structure is quite complicated. Now here is my question.

Is there a way to use the simplicial structure of $M$ to obtain a formula for the homotopy weighted colimit without having to find a cofibrant replacement of $X:I\to M$ ?