Skip to main content
formatting (the question was bumped anyway)
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Fubini theorem for hocolim.

I wanted to ask the following question, Suppose $\mathbf{M}$ a cofcofibrantly generated model category and $I,~J$ two small categories. Suppose that $F:J\rightarrow \mathbf{M}^{\mathrm{I}}$ is a functor. Is it true that the map $\mathrm{hocolim}_{J}(F(i))\rightarrow (\mathrm{hocolim}_J~F)(i)$ is a weak equivalence in $\mathbf{M}$ ?

For more precision: $F(i)$ is the evaluation of the functor $F:J\times I\rightarrow \mathbf{M} $ at $i\in I$, and $\mathrm{hocolim}_J~F$ is an object in the model category $\mathbf{M}^{I}$. The categories $\mathbf{M}^{I}$, $\mathbf{M}^{J\times I} $ are equipped with the projective model structure.

Thank you.

Fubini theorem for hocolim.

I wanted to ask the following question, Suppose $\mathbf{M}$ a cof generated model category and $I,~J$ two small categories. Suppose that $F:J\rightarrow \mathbf{M}^{\mathrm{I}}$ is a functor. Is it true that the map $\mathrm{hocolim}_{J}(F(i))\rightarrow (\mathrm{hocolim}_J~F)(i)$ is a weak equivalence in $\mathbf{M}$ ?

For more precision: $F(i)$ is the evaluation of the functor $F:J\times I\rightarrow \mathbf{M} $ at $i\in I$, and $\mathrm{hocolim}_J~F$ is an object in the model category $\mathbf{M}^{I}$. The categories $\mathbf{M}^{I}$, $\mathbf{M}^{J\times I} $ are equipped with the projective model structure.

Thank you.

Fubini theorem for hocolim

I wanted to ask the following question, Suppose $\mathbf{M}$ a cofibrantly generated model category and $I,~J$ two small categories. Suppose that $F:J\rightarrow \mathbf{M}^{\mathrm{I}}$ is a functor. Is it true that the map $\mathrm{hocolim}_{J}(F(i))\rightarrow (\mathrm{hocolim}_J~F)(i)$ is a weak equivalence in $\mathbf{M}$ ?

For more precision: $F(i)$ is the evaluation of the functor $F:J\times I\rightarrow \mathbf{M} $ at $i\in I$, and $\mathrm{hocolim}_J~F$ is an object in the model category $\mathbf{M}^{I}$. The categories $\mathbf{M}^{I}$, $\mathbf{M}^{J\times I} $ are equipped with the projective model structure.

Thank you.

Source Link
Ilias A.
  • 2k
  • 10
  • 18

Fubini theorem for hocolim.

I wanted to ask the following question, Suppose $\mathbf{M}$ a cof generated model category and $I,~J$ two small categories. Suppose that $F:J\rightarrow \mathbf{M}^{\mathrm{I}}$ is a functor. Is it true that the map $\mathrm{hocolim}_{J}(F(i))\rightarrow (\mathrm{hocolim}_J~F)(i)$ is a weak equivalence in $\mathbf{M}$ ?

For more precision: $F(i)$ is the evaluation of the functor $F:J\times I\rightarrow \mathbf{M} $ at $i\in I$, and $\mathrm{hocolim}_J~F$ is an object in the model category $\mathbf{M}^{I}$. The categories $\mathbf{M}^{I}$, $\mathbf{M}^{J\times I} $ are equipped with the projective model structure.

Thank you.