 Homotopy inverse

If $g\circ f\simeq {\mathrm{id}}_X$ and $f\circ g\simeq {\mathrm{id}}_Y$, then $g$ is a homotopy inverse of $f$ and conversely.