Exercise 1.4.16. Show that a morphism \(f\colon X \to Y\) of animae is an equivalence if and only if the induced map \(f^*\colon \Map (Y,Z) \to \Map (X,Z)\) is an equivalence for every anima \(Z\).
Generated from the authoritative LaTeX source.
Stable homotopy theory and higher algebra · Exercise 1.4.16
Exercise 1.4.16. Show that a morphism \(f\colon X \to Y\) of animae is an equivalence if and only if the induced map \(f^*\colon \Map (Y,Z) \to \Map (X,Z)\) is an equivalence for every anima \(Z\).
Generated from the authoritative LaTeX source.