Homotopy retract ($ri={\mathrm{id}}_A,ir\simeq {\mathrm{id}}_X$)

In the Oxford course's convention, a homotopy retract is a retraction $r:X\to A$ such that the inclusion map $i:A\hookrightarrow X$ also satisfies $ir\simeq {\mathrm{id}}_X$. It gives a homotopy equivalence between $A$ and $X$. Unlike the deformation retraction convention used here, the homotopy need not fix $A$ at intermediate times. ^[ref]