Path lifting can remember order even when homotopy forgets escape zenodo.org 3 points by groverbennett 5 hours ago