Say I hand you two finite posets . Is there an algorithm which allows you to decide whether or not the suspensions are weak homotopy equivalent? For definiteness, you can take the suspension to ...

Is weak homotopy equivalence of finite suspension posets decidable? – mathoverflow.net
Tim Campion
