#algebraic topology #homotopy #fundamental group #loop space #deformation retract #topology #abstract algebra