Exercise 1.5.14. Show that a functor \(F\colon C \to D\) is an equivalence if and only if the induced functor \[ F_*\colon \Map ([1],C) \to \Map ([1],D) \] is an equivalence.

Generated from the authoritative LaTeX source.