basics: homotopies and equivalences