3
$\begingroup$

Suppose we have a functor $F:A\rightarrow B$ between model categories.

1- Assume that F takes weak equivalences to weak equivalences and cofibrations to cofibrations, can we define the derived functor: $$Ho(F): Ho(A)\rightarrow Ho(B) $$ 2- Assume that F takes weak equivalences to weak equivalences, can we define the derived functor: $$Ho(F): Ho(A)\rightarrow Ho(B) $$

It will be great to see the construction of such derived functor in detail. Thank you.

$\endgroup$
0

1 Answer 1

6
$\begingroup$

The answer is yes.

Consider the functor $F:A \to Ho(B)$ obtained by composing $F:A \to B$ with the localization functor $B \to Ho(B)$.

Then this functor takes weak equivalences in $A$ to isomorphisms in $Ho(B)$, so by the universal property of localization, there is a functor $F':Ho(A) \to Ho(B)$, such that $F \cong F'\circ Q$, where $Q:A \to Ho(A)$ is the localization functor. This functor $F'$ is your derived functor.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.