When are two spaces homotopy equivalent?

Abstract

This paper investigates sufficient and necessary conditions for the existence of a homotopy equivalence between two finite simplicial complexes from an algorithmic point of view. As a result, the conditions are formulated in terms of the underlying data of Postnikov towers for simplicial sets with so-called effective homology.

It has significant overlap with 2203.00895

References in corpus (2)

• Constructive Homological Algebra and Applications
• Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension