Holmstrom Homotopy equivalence

In a model category, a map $f: X \to B$ is a homotopy equivalence if there is a map in the other direction such that both compositions are homotopic to the identity.

nLab page on Homotopy equivalence