A Tale of Three Homotopies. - Vladimir Dotsenko; Norbert Poncin (Appl. Categorical Struct., 2016)