#attaching map #characteristic map #weak topology #closure finite #CW definition #algebraic topology