>>803
知っているかもしれないが、任意のCW 複体は、
ある単体複体とホモトピー同値。
CW-approximatin theorem なんかが、
ホモトピー集合の計算に一役買っているよ