Effective generalized Seifert-Van Kampen: how to calculate $\Omega X$

Carlos Simpson

Suppose $X$ is a 1-connected simplicial set with finitely many nondegenerate simplices. We give an effective algorithm to calculate a simplicial set with the $n$-type of the loop s…