Return to Revisions

Here is my own attempt. We write $(F,G)\colon C\leftrightarrows D$ for the given Quillen equivalence and $(F^X,G^X)\colon C^X\leftrightarrows D^X$ for the pointwise induced functor pair. First we check that $(F^X,G^X)$ is a Quillen adjunction. According to http://en.wikipedia.org/wiki/Quillen_adjunction it suffices to show that $G^X$ preserves fibrations and trivial fibrations which is clear because of the pointwise definition of fibrations and weak equivalences. It remains to show that $(F^X,G^X)$ is a Quillen equivalence, that is, a map $F^X(c^X)\to d^X$ in $D^X$ is a weak equivalence if and only if the adjoint map $c^X\to G^X(d^X)$ is a weak equivalence in $C^X$. But this again clear because of the pointwise definition of weak equivalences.