Skip to main content
3 of 5
added 161 characters in body
Let
  • 511
  • 2
  • 10

Simplicial model categories and simplicial equivalence

Let $M$ and $N$ two very nice simplicial model categories and let $F:N\rightarrow M$ be a (nice) simplicial functor which induces an equivalence of homotopy categories, i.e. $Ho(F): Ho(N)\rightarrow Ho(M)$ is an equivalence of homotopy categories and it is well defined. We define the category $\pi_{0}M$ as the category having the same objects of $M$ and $Hom_{\pi_{0}M}(a,b)=\pi_{0}Map_{M}(a,b)$.

What can we say about the functor $\pi_{0}F:\pi_{0}N\rightarrow \pi_{0}M$? is it an equivalence of categories. Maybe we should assume that $F$ takes cofibrant-fibrant objects to cofibrant-fibrant objects... or something close to that.

Clarification: A simplicial functor between simplicial model categories $M$ and $N$ is a simplicial enriched functor between simplicial enriched categories.

Let
  • 511
  • 2
  • 10